On Tue, 13 Oct 2020, Zoltan Somogyi wrote: > For review by Julien, since he reported the bug. The diff is fine; if you have a cut-down test case to hand it would good to have something in the test suite that checks for this. Julien.