On 2020-06-17 at 18:26:36, Daniel Shahaf wrote:
> Brian, ping?

Sorry, this mail got lost in one of my mailboxes.

You mentioned in the PR that you're looking for a NEWS/CHANGES update.
Is that all that's needed here, or were folks looking for other changes?
I can write one up if that's all.
-- 
brian m. carlson: Houston, Texas, US
OpenPGP: https://keybase.io/bk2204