Developer credits
Git commits in Moodle 3.7.2 by Paul Holden
commit ecc906938405294473b2babe29123ff3d68e0ed3 Author: Paul Holden <paulh@moodle.com> Date: Tue, 30 Jul 2019 16:56:48 +0800 Tag: v3.7.2 MDL-66230 tool_usertours: account for deleted tours in privacy export.
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.