Fix: use DEFAULT_SESSION_NAME when name was generated
authorJonathan Rajotte <jonathan.rajotte-julien@efficios.com>
Tue, 23 Apr 2019 18:40:05 +0000 (14:40 -0400)
committerJonathan Rajotte <jonathan.rajotte-julien@efficios.com>
Wed, 1 May 2019 21:22:27 +0000 (17:22 -0400)
Signed-off-by: Jonathan Rajotte <jonathan.rajotte-julien@efficios.com>

No differences found
This page took 0.027123 seconds and 5 git commands to generate.