On 02/17/2016 07:17 PM, Doug Wiegley wrote: > Results, updated hourly (bookmarkable, will redirect to gerrit): > > http://104.236.79.17/ > http://104.236.79.17/current > http://104.236.79.17/current-min Nice, thanks a lot for looking into this!!