Merge branch '4.2' into 4.3

OskarStark · OskarStark · commit decc996aa482 · 2019-05-14T09:32:08.000+02:00
* 4.2:
  Remove obsolete .. role directives
diff --git a/contributing/code/core_team.rst b/contributing/code/core_team.rst
@@ -50,10 +50,6 @@ In addition, there are other groups created to manage specific topics:
 Active Core Members
 ~~~~~~~~~~~~~~~~~~~
 
-.. role:: leader
-.. role:: merger
-.. role:: decider
-
 * **Project Leader**:
 
   * **Fabien Potencier** (`fabpot`_).
