2019 May 21
Updated the User Role Editor plug-in to version 4.51. This is a minor update which adds the ability to bulk-edit the role of users and a work-around for bungling in other plug-ins. We have no local code in this plug-in. I looked around in the settings after applying the update and everything looks OK. Nothing seems to have blown up after the installation of the User Role Editor update, so I committed the changes (Build 311) and published them on GitHub.