On Wed, 3 Oct 2018 at 15:58, Madeleine Thompson <madelein...@gmail.com> wrote: > This diff looks good to me. Also, it applies cleanly against > abd9ca377d669a6e0560e854d7e987438d0e612e and passes `make > check-world`. > > I agree that this is not suitable for a patch release. >
Pushed to master. Thanks for the review. Regards, Dean