Just marking this as a patch for <https://updates.orgmode.org/> :)

Reply via email to