Thanks so much, Bryan, for all your work getting the release out the door!
I checked the website, downloaded one of the zips, and spot-checked the
doc links, which look great.
I guess all that's left is make the formal announcement to the lists and
to edit the index.html page to add this rele
Hi all,
I think I've successfully completed the "ReleasePublication" process
described in the wiki, and the 10.13.1.1 release should be live!
I would appreciate it if anybody could spot check places like:
1) The Derby website
2) The downloads from the distributions mirrors
3) The documentation
