On Tue, Feb 13, 2018 at 3:13 PM, Gary Gregory <[email protected]> wrote:
> On Mon, Feb 12, 2018 at 1:03 PM, Pascal Schumacher < > [email protected]> wrote: > >> What about now? :-) >> > > Fine with me. Let's see if anyone objects... > What about: - Release 1.3 as is WRT Java, which is Java 7 - Switch to Java 8 for 1.4. Gary > > Gary > > >> >> Am 12.02.2018 um 20:53 schrieb Gary Gregory: >> >>> When? >>> >>> Gary >>> >>> >> >> --------------------------------------------------------------------- >> To unsubscribe, e-mail: [email protected] >> For additional commands, e-mail: [email protected] >> >> >
