mentioned in merge request !200 (merged)
mentioned in commit 5ec24105
removed high priority label
closed
mentioned in commit 612c2ae5