On 12.01.2018 13:54, Michael Van Canneyt wrote: > I seem to have missed this bugreport. I assigned it to myself, will > look at > it this weekend. Thank you Michael, I highly appreciate your work! Ondrej