| Wed, 25 Nov 2020 13:12:31 +0100 | wenzelm | removed pointless case: messages should always carry proper position; | changeset | files |
| Wed, 25 Nov 2020 13:06:03 +0100 | wenzelm | clarified names; | changeset | files |
| Wed, 25 Nov 2020 12:57:45 +0100 | wenzelm | eliminated pointless transaction; | changeset | files |