Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)

approved this merge request

approved this merge request

added 44 commits

• 1509390f...699c2801 - 43 commits from branch master
• ac5df96c - Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)

Compare with previous version

added 3 commits

• ac5df96c...31556381 - 2 commits from branch master
• ce58cd64 - Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)

Compare with previous version

assigned to @amerlin

Si je comprends bien il faut regenerer les prop oar une fois la MR mergée. Si ca te va @lnussbau , je merge et je m'en occupe.

added 23 commits

• ce58cd64...3669b0d2 - 22 commits from branch master
• 937e7c14 - Set priority for grvingt to 201701 so that it is less than grele's (see bug 16466)

Compare with previous version

resolved all threads

merged

mentioned in commit 7759526e