Comment Comment by gnatolf Which, to be fair, overall probably still saved quite some time. The compile times alone would've meant they wasted so much more time by repeated earlier checks.Whether a looming deadline changed the perception about that, we don't know ;-P parent gnatolf 4 months ago
Whether a looming deadline changed the perception about that, we don't know ;-P