Re: Agda needs a patch
> Hi,
>
> Am Freitag, den 18.10.2013, 09:10 +0100 schrieb Iain Lane:
>> I stopped because Louis told me to.
>>
>> Should I upload?
>
> I believe there was a misunderstanding.
>
> @Louis, from what I understood Iain has cherry-picked patches for alex
> compatibility from upstream that are working, and is ready to go. So
> there is nothing that should stop him from uploading?
>
> If there was work duplicated that is unfortunate, but happens from time
> to time. Your work is nevertheless appreciated.
>
Hello from Catalunya,
self-quote:
Please upload your master branch.
"upload" was meant for the unstable repository. So there was every
mis-whatever you want.
I should have been more clear, I'm sorry
Enjoying my meal,
Louis
"upload"
> Greetings,
> Joachim
>
> --
> Joachim "nomeata" Breitner
> Debian Developer
> nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
> JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata
>
>
>
Reply to: