On Sat, Aug 31, 2024 at 8:57 AM Eli Zaretskii <e...@gnu.org> wrote: > > Ping! Ping! João, please respond.
I'll not be implementing this. Might be a good idea, who knows. Maybe ask Stefan for his opinion. João
- bug#72210:... Eli Zaretskii
On Sat, Aug 31, 2024 at 8:57 AM Eli Zaretskii <e...@gnu.org> wrote: > > Ping! Ping! João, please respond.
I'll not be implementing this. Might be a good idea, who knows. Maybe ask Stefan for his opinion. João