Merge pull request #2003 from ivaradi/debian-qt512
authorIstván Váradi <ivaradi@users.noreply.github.com>
Fri, 22 May 2020 16:46:30 +0000 (18:46 +0200)
committerGitHub <noreply@github.com>
Fri, 22 May 2020 16:46:30 +0000 (18:46 +0200)
Do not build master for distributions without Qt 5.12 or later


Trivial merge