Junio C Hamano <gitster@xxxxxxxxx> writes: >> So it could be squashed into commit a0731250, or put on top of next as >> a separate commit (probably with 'fixup!' removed). > > I'd try the former first and will fall back on the latter, then. I've reverted a0731250 out of 'next', squashed the fix in, rebuilt the topic and merged it back to 'next'. Thanks.
