Hi David, David Bremner <david@tethera.net> writes: > In principle this should be fixed in current git master. I just tested this and you are right, it does work in current git. However, since replying to mail doesn’t work, I can’t upgrade yet :-). I suppose that will be fixed (tests fail, too) at some point in time. -- Best regards, Michael