(original) (raw)

On Sat, Jun 1, 2019 at 12:29 AM Terry Reedy <tjreedy@udel.edu> wrote:

We try not to. There is already too much work.
...
That was removed from the PR before it was merged.
...
That was merged.
...
Another chunk was added to What's New.

Woot to all of these! :)