Or the other way around. Release and update to Java 7... Gary
On Mon, Oct 23, 2017 at 4:25 PM, Gary Gregory <garydgreg...@gmail.com> wrote: > Wow, 2 years since the last release of [pool]. I plan on updating to Java > 7 and push out a release. > > Gary >