2018-10-15 10:29 GMT+02:00, Gilles <trolldev at gmail.com>: > it looks like to me that the issue is still present. Which issue? Please fix the commit message accordingly. Please do not top-post here, Carl Eugen