Jack Kamm <[email protected]> writes:

> Thanks, I've fixed the remaining issues you pointed out and pushed this
> in 5371b30fe.
>
> Cheers,
> Jack

Applied, as commit 5371b30fe

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

Reply via email to