Merge pull request #3587 from WoltLab/session-remove-virtual
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 2 Oct 2020 13:16:12 +0000 (15:16 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Oct 2020 13:16:12 +0000 (15:16 +0200)
Remove virtual sessions


Trivial merge