Merge branch 'MDL-46803-greedy-roles-reset2' of https://github.com/DSI-Universite...
authorAdrian Greeve <abgreeve@gmail.com>
Thu, 21 Mar 2019 03:20:38 +0000 (11:20 +0800)
committerAdrian Greeve <abgreeve@gmail.com>
Thu, 21 Mar 2019 03:20:38 +0000 (11:20 +0800)

Trivial merge