Merge pull request #17557 from ngo360/master
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 9 Jun 2020 01:30:41 +0000 (11:30 +1000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 01:30:41 +0000 (11:30 +1000)
dev/core#1801 Fix hardcoded activity priority by label


Trivial merge