fix session name setup
authorPeter Palfrader <peter@palfrader.org>
Thu, 21 Jul 2016 08:30:54 +0000 (10:30 +0200)
committerPeter Palfrader <peter@palfrader.org>
Thu, 21 Jul 2016 08:30:54 +0000 (10:30 +0200)

No differences found