Thanks for everyone's help on coding, documenting, and testing the features that went into Derby 10.13.1.1, and thanks particularly to Rick for all the help and support as I muddled my way through the release management process.
The polls have closed and the community has approved 10.13.1.1 as an official Derby release: +1: Rick Hillegas (pmc) Kim Haase (pmc) Bryan Pendleton (pmc) No other votes were cast.
