| Thu, 29 Feb 2024 16:55:10 +0100 | wenzelm | more explicit NEWS (see 3648e9c88d0c); | changeset | files |
| Thu, 29 Feb 2024 11:12:10 +0100 | wenzelm | NEWS for a53287d9add3, 3e30ca77ccfe; | changeset | files |
| Wed, 28 Feb 2024 17:25:54 +0100 | Fabian Huch | add option for unify trace (now disabled by default as printing is excessive and rarely used); | changeset | files |
| Wed, 28 Feb 2024 15:19:15 +0100 | Fabian Huch | tuned unify trace option names; | changeset | files |