[PATCH] diff: fix --color-moved-ws=allow-indentation-change · Phillip Wood <hidden> · 2018-09-04
Re: [PATCH] diff: fix --color-moved-ws=allow-indentation-change · Stefan Beller <hidden> · 2018-09-04
Re: [PATCH] diff: fix --color-moved-ws=allow-indentation-change · Phillip Wood <hidden> · 2018-09-04
Re: [PATCH] diff: fix --color-moved-ws=allow-indentation-change · Phillip Wood <hidden> · 2018-09-11
Re: [PATCH] diff: fix --color-moved-ws=allow-indentation-change · Stefan Beller <hidden> · 2018-09-11

Re: [PATCH] diff: fix --color-moved-ws=allow-indentation-change

From: Stefan Beller <hidden>
Date: 2018-09-11 17:48:19

 [...] So this should be sufficient.

Yup.
Thanks for keeping track of this patch, as I lost track of it.

thanks,
Stefan