(off-list ancestor, not in this archive)
Re: [PATCH 4/4] git.el: Put the git customize group in the 'tools' parent group. · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH 4/4] git.el: Put the git customize group in the 'tools' parent group.

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

Thanks for all four patches.