From: Lars Ingebrigtsen <[email-masked]>
Date: Mon, 26 Oct 2020 21:26:28 +0100

Roland Coeurjoly <[email-masked]> writes:

> I figured out a better forum would be the org mode mailing list, so I
> sent the patch there and got merged.

Great; then I guess we can close the bug report here.  

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no