19 Jun
2023
19 Jun
'23
9:17 p.m.
On Mon Jun 19 21:17:10 2023 +0000, Zebediah Figura wrote:
I wouldn't rename the server call, it adds noise and isn't particularly meaningful anyway if we only have the one.
Thanks for the feedback. I set it back to the original name.