On Thu, Sep 28 2023, Stuart Henderson wrote:
"I hope it is not too late to make it to the release :)"
This is not a time to try to squeeze things into a release. It's
a time
to get things done so we can tie up the release, get builds
started, and
back to normal development.
Sorry for the comment suggesting it to be included in the
release. I was just a bad joke. Please disregard it.
I know it is already too close to the release, but I posted it to
the list anyway because it works and it could be useful to others
that are willing to use it in their local ports tree.
Next time, I'll wait until the release before posting new ports.
--
Renato Aguiar
