On 01 Dec 2019, Marco Wahl wrote: >+1 > >I think your enhancement is great and worth a news entry. What about >pushing your code if nobody objects within one week?
Thanks, Marco; I'm glad you like it. I'll wait a week and then push (unless there's discussion, in which case we'll see what the outcome of the discussion is first, of course). I just created a "kfogel" account at https://code.orgmode.org/ and uploaded my SSH key. Should I mail Bastien about push access, or is posting here enough? Regarding a news entry: that means the 9.3 section of etc/ORG-NEWS, right? I will add a news entry to the commit at push time. Best regards, -Karl