| Tue, 14 Mar 2017 15:14:56 +0100 | wenzelm | updated dependencies; | changeset | files |
| Tue, 14 Mar 2017 14:55:00 +0100 | wenzelm | explicitly ignore "initialized" message; | changeset | files |
| Tue, 14 Mar 2017 14:43:10 +0100 | wenzelm | clarified shutdown; | changeset | files |