7 Jul
2023
7 Jul
'23
3:26 a.m.
On Thu Jul 6 15:52:57 2023 +0000, Zebediah Figura wrote:
This if is redundant.
My bad; I thought I had removed this in an earlier revision but I must have messed up when amending.