On Mon, Jul 16, 2018 at 04:04:12PM -0400, Alvaro Herrera wrote:
> No objection here -- incremental progress is better than none.
Thanks. I have pushed 0001 now. I have found some more work which
could be done, for which I'll spawn a new thread.
--
Michael