On Tue, 5 Dec 2023, John Forrest wrote: > It is in CoinUtils so go to your CoinUtils directory and do > > git pull > > or look at Coin/commits/stable or /master Great, I can confirm that this type of error does no longer occur with 'master'. Unfortunately, others remain ...