On Sat, May 4, 2019 at 3:15 AM Noah Misch <n...@leadboat.com> wrote: > > I pushed Jeff's patch. >
Thank you. I've re-tested it and I get warning-free compilation now. Cheers, Jeff
On Sat, May 4, 2019 at 3:15 AM Noah Misch <n...@leadboat.com> wrote: > > I pushed Jeff's patch. >
Thank you. I've re-tested it and I get warning-free compilation now. Cheers, Jeff