j
k
j a
j l
On Fri, Jan 20 2023, David Feuer wrote:
Actually, getting that arity probably isn't important anyway.... Try O0.
Ah, that worked. Many thanks! -- Regards, Mike
Back to the thread
Back to the list
