6 Sep
2019
6 Sep
'19
12:01 p.m.
On Tue, Jun 25, 2019 at 9:24 PM neel@neelc.org wrote:
FWIW, this proposal is now in the repository. Let's do the pending changes as patches on what's there now.
--
Nick