Developer credits
Git commits in Moodle 3.7.2 by Paul Holden
commit 10539bfad8f8a120567ed5d9e49c235f67f1da89 Author: Paul Holden <pholden@greenhead.ac.uk> Date: Thu, 04 Apr 2019 19:34:32 +0800 Tag: v3.7.2 MDL-62161 user: preserve all selected users between searches.
commit 69f5ad8f365044fbfee1ca22afb1945e18683322 Author: Paul Holden <pholden@greenhead.ac.uk> Date: Tue, 02 Apr 2019 20:41:46 +0800 Tag: v3.7.2 MDL-33087 tool_capability: correct role override link.