Of course, I've already voted +1, this is just a note. Gary
On Sat, Jul 10, 2021, 11:08 Jochen Wiedmann <[email protected]> wrote: > On Fri, Jul 9, 2021 at 10:09 PM Gary Gregory <[email protected]> > wrote: > > > "Details of changes since 1.19 are in the release notes:" > > > > 1.19 -> 1.20 ;-) > > Well observed. That said, I'd recommend to ignore this, since we want > this release to be out of the door. > > Jochen > > > > -- > > Look, that's why there's rules, understand? So that you think before > you break 'em. > > -- (Terry Pratchett, Thief of Time) > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
