On Thu, 9 Jan 2025 16:31:45 +0000 Pietro Cerutti <[email protected]> wrote:
> See the attached trivial patch. I've fixed the wiki already. Thanks, Pietro. You patch has been pushed to both master and chicken-5. All the best. Mario -- http://parenteses.org/mario
