Closes #8 (closed)
Pipeline #5262 passed
Pipeline passed for 12de3de9 on several-active-sessions 2 years ago
Pipeline #5266 passed
Pipeline passed for f65c8046 on master 2 years ago
marked this merge request as ready
merged
mentioned in commit f65c8046