Parents and children of check-in [6f1893ddd7]
2020-08-17
| ||
14:17 | Replaced with-output-to-file with an explicit open/close due to posible file handles being left open. Fixed bug in runner time sharing. check-in: a1963bd5a9 user: mrwellan tags: v1.65, v1.6561 | |
06:20 | Short circuit calculation of number tests running. check-in: 6f1893ddd7 user: matt tags: v1.65 | |
2020-08-16
| ||
22:07 | Added glob caching for apparently expensive regexp execution check-in: b4a13d1106 user: matt tags: v1.65 | |