Merge branch '4.3'

OskarStark · OskarStark · commit 97719cea8150 · 2019-05-14T09:32:23.000+02:00
* 4.3:
  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`_).
