j
k
j a
j l
On Wed Mar 1 12:26:25 2023 +0000, Giovanni Mascellani wrote:
I guess you can throw this away if you `break` after emitting the error, can't you?
Ah, yes, good point. I changed that.
Back to the thread
Back to the list