13 Jul
2023
13 Jul
'23
6:42 p.m.
On Thu Jul 13 16:38:12 2023 +0000, Jeffrey Smith wrote:
Same issue with comparison of an enumeration.
As above, this thread can be dismissed.