On Mon, Aug 19, Richard W.M. Jones wrote: > If you look at the upstream code, this has been fixed, or at > least, the code is quite different. See: > > commit 2aa731e7c441581f0d72bcd06e9431b92931466a It does not happen with 1.23.17. Thanks. Olaf