Junio C Hamano <gitster@xxxxxxxxx> writes: > Christian Hesse <list@xxxxxxxx> writes: > >> Junio C Hamano <gitster@xxxxxxxxx> on Wed, 2018/10/10 11:26: >>> As 'contrib' material without real maintenance, I do not care too >>> deeply, but shouldn't this change be more like this to avoid >>> duplicating the list of targets? >> >> Probably, yes. >> Do you want to add this yourself or do you want me to send an updated patch >> or one on top of the last change? > > In principle either is fine but keep in mind that I'll likely forget > if you leave it up to me. Actully, I take it back. The original patch is already in 'next', so an incremental on top of what you sent is the only valid improvement ;-)