| Mon, 31 Aug 2015 19:04:01 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 31 Aug 2015 19:02:00 +0200 | wenzelm | clarified context; | changeset | files |
| Mon, 31 Aug 2015 14:16:32 +0200 | wenzelm | tuned message; | changeset | files |
| Mon, 31 Aug 2015 05:12:14 +0200 | wenzelm | trim context for persistent storage; | changeset | files |