| Sat, 07 Sep 2019 15:18:06 +0200 | wenzelm | clarified signature: retain global session information, unaffected by later restriction; | changeset | files |
| Sat, 07 Sep 2019 14:50:38 +0200 | wenzelm | disable fragile options for now; | changeset | files |
| Sat, 07 Sep 2019 12:16:11 +0200 | wenzelm | avoid overlapping session directories; | changeset | files |