[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Agda needs a patch


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.


Joachim "nomeata" Breitner
Debian Developer
  nomeata@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata@joachim-breitner.de | http://people.debian.org/~nomeata

Attachment: signature.asc
Description: This is a digitally signed message part

Reply to: