On 5. Nov 2018, at 17:01, Marshall Schor <[email protected]> wrote: > > The minimum Java version was changed from 7 to 8.
IMHO that should warrant a 2.11.0 release instead of a 2.10.3. It is quite a major change for a simple bugfix-level release. -- Richard
