j
k
j a
j l
On Thu Jul 31 09:54:09 2025 +0000, Hans Leidekker wrote:
Done, thanks.
Fwiw it should probably be `false`/`true` instead of `FALSE`/`TRUE`, but doesn't matter much.
Back to the thread
Back to the list