💾 Archived View for bbs.geminispace.org › u › jeang3nie › 6133 captured on 2023-12-28 at 17:14:50. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-11-14)
-=-=-=-=-=-=-
Re: "Is the Lagrange ports maintainer here on BBS?"
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.
Oct 11 · 3 months ago
Is the Lagrange ports maintainer here on BBS? — I was wondering when 1.17 is coming to FreeBSD... Thank you for your work!