Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)
Passed
Lucas Nussbaum
created pipeline for commit
1509390f
, finished
For grvingt_prio
1 minute 53 seconds, queued for 2 seconds