Re: 3.11 currently not building

2018-06-07 Thread Jason Brown
Thanks for the quick turn around, Lerh and Paulo! On Thu, Jun 7, 2018 at 3:56 AM, Paulo Motta wrote: > Fixed bad merge to 3.11 with 7bb88deb4c6387fd67114543986774c903860de9. > Thanks for the heads up! > > 2018-06-07 2:34 GMT-03:00 Lerh Chuan Low : > > Hi guys, > > > > I saw your message on IRC

Re: 3.11 currently not building

2018-06-07 Thread Paulo Motta
Fixed bad merge to 3.11 with 7bb88deb4c6387fd67114543986774c903860de9. Thanks for the heads up! 2018-06-07 2:34 GMT-03:00 Lerh Chuan Low : > Hi guys, > > I saw your message on IRC Jason, Kurt forwarded it to me. Thanks for the > heads up! > > 3.11 presently doesn't build, I think it may have been