[PATCH] Fix error in user manual · William Pursell <hidden> · 2016-06-15
Re: [PATCH] Fix error in user manual · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH] Fix error in user manual

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:46:05

Thanks, will apply.