On 20.01.2015 10:15 PM, Mike Gabriel wrote: > @Mihai: please let Heinz know via this bug report, where he should > forward those mails. My normal address will do fine, thanks. Mihai