Hi, Am Donnerstag, den 19.05.2011, 19:04 +0100 schrieb Iain Lane: > You can give them as much of a review as you want, but the point of this > was to speed the transition along so I'd suggest not being massively > thorough. In most cases I've just built what was in darcs already, but > there's also a couple of upstream bumps. Agda includes some large-ish > changes and backported patches. Thanks and uploaded. But please sign such files the next time, for additional security. Greetings, Joachim -- Joachim Breitner e-Mail: mail@joachim-breitner.de Homepage: http://www.joachim-breitner.de ICQ#: 74513189 Jabber-ID: nomeata@joachim-breitner.de -- 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