Hi guys, On Tue, Oct 24, 2017 at 03:25:28PM +0200, Emmanuel Hocdet wrote: > Thanks to spotted this! > patch could be also: (...)
Indeed I find this version safer, it also covers all other cases. Now applied, thanks Sander for reporting and fixing it! Willy

