On Tue, 24 Sep 2019 21:45:38 +0100 Brian Morrison <bdm at fenrir.org.uk> wrote: > And that turned out to be wrong, rebuilt with this reverted and still > the same crash. Try git28 commit 47e9a6a807ab30baae05f4557f82d63c70108a59 There is no crash here, but.... with regards Paul