29 Sep
2023
29 Sep
'23
2:04 p.m.
On Fri Sep 29 13:33:06 2023 +0000, Matteo Bruni wrote:
I haven't tried but I'd expect it not to work, yeah.
Even if it worked, I don't think it makes sense to differ from correct output. I pushed something to check for profile type.