Merge pull request #9320 from tobiasd/20200929-adminHotfixVersions
authorMichael Vogel <icarus@dabo.de>
Tue, 29 Sep 2020 06:31:59 +0000 (08:31 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Sep 2020 06:31:59 +0000 (08:31 +0200)
Hotfix releases were not detected in the admin panel


Trivial merge