Parents and children of check-in [5a30e1d836]
2022-12-12
| ||
10:41 | Changed mt version to 1.8003 check-in: e09f8d91d0 user: mmgraham tags: v1.80 | |
08:45 | Merged fork check-in: 5a30e1d836 user: mrwellan tags: v1.80 | |
2022-12-11
| ||
13:51 | Use low-noise-print to make the summary view more stable check-in: 2b7b20907b user: matt tags: v1.80 | |
2022-12-08
| ||
18:59 | Increease default server lifetime, don't use oldest server when more than 10 availble check-in: c5b73dfe86 user: mrwellan tags: v1.80 | |