On Fri, Jul 13, 2018 at 10:13 AM, Don Seiler <don@seiler.us> wrote:
On Fri, Jul 13, 2018 at 9:37 AM, Stephen Frost <sfrost@snowman.net> wrote:
Don, do you want to update the patch accordingly? If not, I'm happy to handle it when I go to commit it, which I'm thinking of doing sometime this weekend as it seems to be pretty uncontroversial at this point.
Whatever is easiest for you. I'll try get a new patch put together later today just for the practice, but if it's simpler for you to just update the diff file, please feel free.
