On Tue, Dec 19, 2017 at 01:52:16PM +0100, Christopher Faulet wrote:
> This is a better way to fix the bug, you're right. Here is the updated 
> patch. Thanks.

Applied now, thanks!
Willy

Reply via email to