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
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