| Fri, 16 Oct 2020 15:09:41 +0200 | nipkow | renamed constant | changeset | files |
| Fri, 16 Oct 2020 11:38:55 +0200 | wenzelm | merged | changeset | files |
| Thu, 15 Oct 2020 16:13:49 +0200 | wenzelm | discontinued old platforms; | changeset | files |
| Thu, 15 Oct 2020 18:17:57 +0200 | Mathias Fleury | remove unsupported max-time option from veriT calls | changeset | files |