(off-list ancestor, not in this archive)
Re: [PATCH] Make tools use DESTDIR as well (otherwise rpm build is broken) · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH] Make tools use DESTDIR as well (otherwise rpm build is broken)

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:42:04

My bug.  Thanks.