On 06 Apr 2022, Julian Foad wrote:
Evgeny Kotkov wrote:- revert the patch I applied, as it's papering over the problem in an incomplete way and so possibly causes more confusion than it fixes.- leave this issue open and come back to it later; it's an edge case notpart of common work flows.+1.Thanks! Reverted that patch in r1899616.
+1 here too, post facto, FWIW!