Closing old thread from 2022-07-16

Applied, as commit 0583a0c5e

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


Reply via email to