Merge pull request #5921 from akallabeth/nightly_optimise
authorBernhard Miklautz <bmiklautz@users.noreply.github.com>
Thu, 27 Feb 2020 09:29:29 +0000 (10:29 +0100)
committerGitHub <noreply@github.com>
Thu, 27 Feb 2020 09:29:29 +0000 (10:29 +0100)
Revert to RelWithDebInfo for debian.


Trivial merge