On Wed, Feb 15, 2017 at 3:33 AM, Lars Schneider <[email protected]> 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 <[email protected]> wrote: > @Junio: I think this patch should be applied regardless of the bug.
Sounds good; thanks! Stefan