Thanks M.Faber.
This was already fixed (slightly differently) in revision 256 of this repository.
Adam
Thanks M.Faber.
This was already fixed (slightly differently) in revision 256 of this repository.
Adam