New infrastructure…

By Norm Tovey-Walsh on August 31, 2023 at 01:15p.m.

Just FYI, we’ve moved some things around. Some of our web infrastructure, the way and are served, for example, has changed. Plus we have some new infrastructure for downloads and Maven.

You aren’t supposed to notice. Or, at least, it isn’t supposed to be broken. There are redirects in place for things we know moved and a few very old things have fallen by the wayside.

If you see something that you think is broken, please tell us!