On Wed, 17 Feb 2016 12:44:25 +0100 Joachim Breitner <[email protected]> wrote:
> Hi, > > Am Mittwoch, den 17.02.2016, 10:10 +0000 schrieb Michael Tautschnig: > > Thanks a lot for the info! Just to check: shall I go ahead and file > > them? > > yes, please do. I just wanted to fix this, but it seems that someone already worked at them. Is there still something to be done, except uploading them? Regards Sven
pgpjSitKSR7Vt.pgp
Description: Digitale Signatur von OpenPGP
