Merge pull request #6751 from MrPetovan/bug/fatal-errors
authorMichael Vogel <icarus@dabo.de>
Sun, 24 Feb 2019 20:07:13 +0000 (21:07 +0100)
committerGitHub <noreply@github.com>
Sun, 24 Feb 2019 20:07:13 +0000 (21:07 +0100)
Add missing use statement in Model\Term


Trivial merge