28 Jun
2023
28 Jun
'23
9:14 a.m.
On Wed Jun 28 07:04:43 2023 +0000, Rémi Bernon wrote:
Hmm, do we need it though? It looked like a feature but I'm not sure I remember where it's used.
From a quick look it doesn't seem to be used very much, maybe I can get rid of it entirely if you were unhappy with it.