On Mon, Oct 9, 2017 at 3:02 PM, Jan Lahoda <lah...@gmail.com> wrote: > > > > Jan, I suggest naming it 18.3 for now. As much as I don't like it, I > don't > > see it becoming 10... :-( > > > > I was mostly trying to avoid dealing with a '.' in the branch name :-). So > jdk18_3, OK?
Ah, I lost the "dot" rationale. I'd be fine with 18_3. Regards, Michael
