26 Oct
2017
26 Oct
'17
10:05 p.m.
I've changed the report script per my earlier suggestions, we'll see how it goes.
OK, looks like it worked (at the second try.) http://www.boost.org/development/tests/develop/developer/contract.html (Although I see that the page ends abruptly with "Error extracting file: Error code 2 - A generic error in the zipfile format was detected." - let's hope that this is an intermittent error.)