On Wed Sep 30, 2026 at 3:42 PM CEST, Diego A. Mundo wrote: > > On Wednesday, September 30th, 2026 at 05:15, Felix Winkelmann > <[email protected]> wrote: > >> Have you contacted Alex Shinn? > > Yes! The main purpose of this patch is to bring in changes that he has > implemented in the upstream implementation. I basically copied them verbatim. > > The other small change is to the CHICKEN-specific extension for displaying as > HTML.
Very good. I'll apply the patch and tag a new version. cheers, felix
