hi francois, > Are you using the public version or the latest from Git [1]? The bug is > fixed in Git. I don't know if the extension owners plan any public > release. It's certainly been a long time... no. thanks for the tip! i will check it out. kind regards roland