8 Dec
2022
8 Dec
'22
2:28 a.m.
Hi, Am Mittwoch, dem 07.12.2022 um 21:15 +0000 schrieb Chris Dornan:
On the first point , I suggest we propose it in the thread and see what the author has to say.
On the second point I am all in favour of splitting out - XNamespacedImport.
If you are in favor of putting it under -XNamespacedImport, I suggest we don’t bother the authors with “cleaning up” ExplicitNamespaces, and leave that to a separate proposal (if at all). Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/