Daniel Fleischer <[email protected]> writes:

> Thanks, merged.

Applied, as commit 1105da80a

This message is being sent to update our issue tracker at
https://tracker.orgmode.org

Reply via email to