Merge remote-tracking branch 'origin/master' into flake

2019-11-07 18:42:15 +01:00
parent c7d1d34547 e89ea733d0
commit 55b0afa08f
7 changed files with 96 additions and 6 deletions
--- a/src/root/user.tt
+++ b/src/root/user.tt
@ -81,6 +81,8 @@
            [% INCLUDE roleoption role="admin" %]
            [% INCLUDE roleoption role="create-projects" %]
            [% INCLUDE roleoption role="restart-jobs" %]
+            [% INCLUDE roleoption role="bump-to-front" %]
+            [% INCLUDE roleoption role="cancel-build" %]
          </select>
        </div>
      </div>