> From: Bastien <b...@gnu.org> > Cc: "Wong, Philip" <philip.w...@warwick.ac.uk>, rpl...@gmail.com, > 34...@debbugs.gnu.org > Date: Fri, 22 May 2020 14:10:21 +0200 > > It seems like the bug is not related to org-mode.
It isn't, but it can also be closed. Which I did. Thanks.
