Re: [PATCH 17/26] diff-merges: split 'ignore_merges' field
From: Philip Oakley <hidden>
Date: 2020-11-02 10:48:15
From: Philip Oakley <hidden>
Date: 2020-11-02 10:48:15
micro-nit while browsing.. On 01/11/2020 19:33, Sergey Organov wrote:
'ignore_meres' was 3-way field that served two distinct purposes that
ignore_merges (missing 'g')
we now assign to 2 new independent flags: 'separate_merges', and 'explicit_diff_merges'.
-- Philip