8 Mar
2018
8 Mar
'18
9:05 a.m.
On 03/08/18 01:20, Tom Kent via Boost wrote:
Two days ago I gave up trying to solve the problem correctly, and just copied everything from the specific versioned SDK folders to those two (kids, don't try this at home!). It seems to have worked, the develop branch just cycled (previously, both develop and master had ssl connection problems with github when they tried to run in their normal slots over the last 24hrs) and looks a lot more green. Master is running now, and should be up in a few hours.
Ah, I see the develop is green now. Thank you Tom.