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.