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]
