Hi Aaron, > [...] I have pushed your patch to the master branch of the org-mode > repo. If you want commit access, you can follow the instructions in the > wiki: <http://orgmode.org/worg/org-contribute.html#devs>.
Thank you for your action and the hint about committing. For my next contribution (which hopefully will come to existence) I'll try out the push access. Best regards, Marco -- http://www.wahlzone.de PGP: 0x0A3AE6F2
