Merge pull request #9295 from annando/issue-9281
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Sun, 27 Sep 2020 12:20:48 +0000 (14:20 +0200)
committerGitHub <noreply@github.com>
Sun, 27 Sep 2020 12:20:48 +0000 (14:20 +0200)
Issue 9281: User export now exports data


Trivial merge