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

Reply via email to