8 Sep
2023
8 Sep
'23
4:10 p.m.
On Fri Sep 8 16:07:02 2023 +0000, Giovanni Mascellani wrote:
What's the point of this with a single parameter? Am I missing anything?
Yes, it's not useful here.