On Thursday, May 21, 2020 at 14:39:08 Bertrand Marc wrote: > Hi Joerg,
> Thank you for submitting this bug. If I am not mistaken, the > category Emulator is already there. Could you please check again and reopen > the bug if necessary? > Best, > Bertrand I'm sorry Bertrand! This was my fault. I mixed some package names by accident... m( -- Kind regards Joerg Schiermeier Bielefeld/Germany
