Re: [oc-basic] fontification weirdness

[Bruce D'Arcus]

On Fri, Nov 26, 2021 at 5:48 AM Nicolas Goaziou <m...@nicolasgoaziou.fr> wrote:

> It should now be fixed. Thanks.

Confirmed; thanks!

Bruce