Hi Achim, Thanks for your corrections and hints.
>> Patch pushed! > > It looks like that patch should have gone to maint rather than master Sorry for that. I was not aware that fixes should go to maint. I just naively took the first best branch (which was master) for applying the change. BTW: It looks like a good soul already merged the patch into the maint branch. > and please use a properly formatted commit message in the future: > > - The first line of the commit has been taken from the subject of your > post rather than being in the form that Org uses. > - The commit description itself will be shortened to unintelligible > gibberish in the Emacs Changelog since the text before the first blank > line doesn't actually tell what the change has been about. A formal error plus unintelligible gibberish. Hard to imagine how a commit message could be worse. I try to be more careful the next time. Thanks again, Marco -- http://www.wahlzone.de GPG: 0x0A3AE6F2