On Mon, Sep 24, 2018 at 10:25:45AM -0400, Boris Ostrovsky wrote: > Konrad is out this (and last) week, this looks good to me. Including > patch 13, although it's hard to say whether it may break some builds. I fixed up everything the buildbot reported (which was quite a bit as you can see in the patch), and the buildbot has been quiet for weeks now, so I think we should be fine.
