On 5/21/24 13:06, José Matos wrote: > On Tue, 2024-05-21 at 18:04 +0100, José Matos wrote: >> This is fixed in 2.4. >> Since there will not be any new 2.3.x release I think that we can >> leave it that way. > OK, Rikki fixed this. :-) Yes, no extra release, but maybe someone checks it out themselves... Riki