[PATCH] git-mergetool: properly handle "git mergetool -- filename" · David Aguilar <hidden> · 2016-06-15
Re: [PATCH] git-mergetool: properly handle "git mergetool -- filename" · Junio C Hamano <hidden> · 2016-06-15

Re: [PATCH] git-mergetool: properly handle "git mergetool -- filename"

From: Junio C Hamano <hidden>
Date: 2016-06-15 22:45:48

Thanks.