Merge pull request #462 from MrPetovan/task/3942-move-user-to-src
authorMichael Vogel <icarus@dabo.de>
Mon, 4 Dec 2017 09:33:01 +0000 (10:33 +0100)
committerGitHub <noreply@github.com>
Mon, 4 Dec 2017 09:33:01 +0000 (10:33 +0100)
Move include/user to src


Trivial merge