On Wed, Feb 15, 2017 at 3:33 AM, Lars Schneider <larsxschneider@xxxxxxxxx> wrote: > @Junio: I think this patch should be applied regardless of the bug. Sounds good; thanks! Stefan
On Wed, Feb 15, 2017 at 3:33 AM, Lars Schneider <larsxschneider@xxxxxxxxx> wrote: > @Junio: I think this patch should be applied regardless of the bug. Sounds good; thanks! Stefan