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

Reply via email to