On Tue, Apr 5, 2016 at 8:31 PM, Tormod Volden <debian.tor...@gmail.com> wrote:
> Thanks to Michael (and others?) for providing patches, generally the > most valuable contribution in a bug report. > Thanks for being a calm and sensible maintainer amidst the turmoil!