On Sun, Jun 06, Sebastian Geerken wrote:
I've just committed several changes, which fix the issues mentioned
here. ...
Just in case, that someone has already checked this out: There was a
bug in the changes, which is fixed in the meanwhile.
Sebastian
