| Sun, 05 Mar 2017 18:59:39 +0100 | wenzelm | always invoke output: pending_output may be present due to other reasons; | changeset | files |
| Sun, 05 Mar 2017 18:58:17 +0100 | wenzelm | tuned signature; | changeset | files |
| Sun, 05 Mar 2017 14:47:37 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 05 Mar 2017 14:43:39 +0100 | wenzelm | simplified; | changeset | files |