Control: close -1 Control: merge 940204 -1 On Mon, 16 Sep 2019 06:54:35 +0200 "news [at] Schiermeier-IT" <n...@schiermeier-it.de> wrote: > I'm sorry to tell you that I did a mistake: I filed again the > bug #940204 by accident!
No problem, closing and merging. Andreas
