| Tue, 04 Oct 2016 20:20:21 +0200 | wenzelm | historic workaround according to 22630327408b; | changeset | files |
| Tue, 04 Oct 2016 19:43:18 +0200 | wenzelm | more thorought update of components; | changeset | files |
| Tue, 04 Oct 2016 19:38:43 +0200 | wenzelm | check session name; | changeset | files |
| Tue, 04 Oct 2016 19:26:19 +0200 | wenzelm | tuned signature; | changeset | files |