💾 Archived View for bbs.geminispace.org › u › jeang3nie › 6116 captured on 2024-08-18 at 20:58:23. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2024-07-09)
-=-=-=-=-=-=-
Re: "Is the Lagrange ports maintainer here on BBS?"
I'm not the maintainer but I can take a look at sending him a patch.
2023-10-11 · 10 months ago
🦀 jeang3nie · 2023-10-11 at 19:40:
I submitted a patch for it.
— https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=274414
The last time he was on it within 3-4 days, so I imagine this will be quick as well (hopefully).
Typing this from 1.17.0 in FreeBSD, built with the updated port.
Is the Lagrange ports maintainer here on BBS? — I was wondering when 1.17 is coming to FreeBSD... Thank you for your work!