On 2013-07-12 at 10:16 +0200, Werner Koch wrote: > Looks fine. Please push.
Thanks. Pushed. Also, I updated the bug tracker report at bugs.g10code.com. -- -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org