22 Mar
2023
22 Mar
'23
5:30 p.m.
On Wed Mar 22 17:28:59 2023 +0000, Alex Henrie wrote:
It doesn't matter much, but why print "." here instead of "()"?
Eh, yeah, it is definitely better to have it consistent but I'd rather change () to . in the FIXME.