| Wed, 07 Aug 2024 12:50:22 +0200 | wenzelm | recover lost update (see 11b8f2e4c3d2 and 4041e7c8059d); | changeset | files |
| Wed, 07 Aug 2024 11:58:45 +0200 | wenzelm | prefer host that is less likely to be down; | changeset | files |
| Wed, 07 Aug 2024 11:58:01 +0200 | wenzelm | tuned: more antiquotations, avoid re-certification; | changeset | files |