comparison COPYING @ 1557:d93e34684da7

Cautiously ensure we don't report readiness when the model is still updating; + some debug
author Chris Cannam
date Thu, 18 Oct 2018 13:12:58 +0100
parents c224dfa749a2
children
comparison
equal deleted inserted replaced
1556:7b4d56b01440 1557:d93e34684da7