| Wed, 10 Jul 2024 16:56:59 +0200 | Fabian Huch | log and display components with empty (unknown) revisions to indicate that they are present; | changeset | files |
| Wed, 10 Jul 2024 09:58:32 +0200 | Fabian Huch | tuned log: omit previous changeset; | changeset | files |
| Wed, 10 Jul 2024 08:37:54 +0200 | nipkow | take care of facts in cartouches | changeset | files |