Timothy <[email protected]> writes: > Hi Mark, > > Many thanks for not only tracking down this problem but making a fix and > submitting it 🙂. I've just pushed this as 986341b with minor tweaks to the > commit message. > > Timothy
Applied, as commit 986341b This message is being sent to update our issue tracker at https://tracker.orgmode.org
