On Wednesday, 18 April 2018 09:16:07 CEST Andreas Tille wrote: > PS: Do you prefer bug reports over messages to this list? I'd rather have a bug reports: it's too easy to forget about mail. Please cc the list if the issue is not trivial All the best