On Fri, Dec 29, 2023 at 02:15:30PM +0100, Justin Berthault wrote:

[I'd replied to Justin off-list but realised that I should have replied
on-list -- sorry!]

> Please find below the diff to update to latest release (0.0.53)

This works fine for me, so I'm happy to OK it.

Although I still use the font, it's complete enough for me that I no longer
think to check for updates. Might you be interested in becoming the port's
maintainer? You'd do so with my blessing!


Laurie