Merge pull request #4935 from OAI/dev

v3.1-dev: update from dev

Author: oai-spec-publisher[bot]

MAINTAINERS.md

@@ -4,14 +4,14 @@
 
 * Jeremy Whitlock [@whitlockjc](https://github.com/whitlockjc)
 * Marsh Gardiner [@earth2marsh](https://github.com/earth2marsh)
-* Ron Ratovsky [@webron](https://github.com/webron)
 * Lorna Mitchell [@lornajane](https://github.com/lornajane)
 * Mike Kistler [@mikekistler](https://github.com/mikekistler)
 * Miguel Quintero [@miqui](https://github.com/miqui)
 * Ralf Handl [@ralfhandl](https://github.com/ralfhandl)
 
 ## Emeritus
 
+* Ron Ratovsky [@webron](https://github.com/webron)
 * Darrel Miller [@darrelmiller](https://github.com/darrelmiller)
 * Mike Ralphson [@MikeRalphson](https://github.com/MikeRalphson)
 * Uri Sarid [@usarid](https://github.com/usarid)