| Sat, 18 Mar 2017 13:06:10 +0100 | wenzelm | clarified init (see also 32755e357a51, ac48def96b69); | changeset | files |
| Sat, 18 Mar 2017 12:46:52 +0100 | wenzelm | restore output channels after shutdown, e.g. relevant for saved heap; | changeset | files |
| Sat, 18 Mar 2017 12:24:56 +0100 | wenzelm | clarified signature; | changeset | files |
| Fri, 17 Mar 2017 23:24:04 +0100 | wenzelm | merged | changeset | files |