11 Dec
2023
11 Dec
'23
7:03 a.m.
On Mon Dec 4 15:08:39 2023 +0000, Rémi Bernon wrote:
I still don't find it useful, it adds more code than it removes, so not a great factoring IMO.
reverted