Thanks; queued and pushed out together with the follow-up series.
- [PATCH v2] difftool: fix dir-diff index creation when in a ... David Aguilar
- Re: [PATCH v2] difftool: fix dir-diff index creation w... Junio C Hamano
Thanks; queued and pushed out together with the follow-up series.