> From: Ihor Radchenko <[email protected]> > Cc: Antero Mejr <[email protected]>, [email protected], [email protected] > Date: Thu, 19 Jun 2025 06:02:29 +0000 > > Eli Zaretskii <[email protected]> writes: > > > Thanks, but please report this to the Org developers first. > > To be fair, Antero reported the bug _both_ to debbugs and Org mailing > list (in CC). So, it has been received on Org list.
I've seen that, but TBH I don't understand the purpose of this duplicate reporting. Should I close this bug?
