Expand scope of common contributor links (#5159)

SciTools · Feb 15, 2023 · 58cdd78 · 58cdd78
1 parent de7919a
commit 58cdd78
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/common_links.inc b/docs/src/common_links.inc
@@ -44,7 +44,7 @@
 
 
 .. comment
-    Core developers (@github names) in alphabetical order:
+    Core developers and prolific contributors (@github names) in alphabetical order:
 
 .. _@abooton: https://github.com/abooton
 .. _@alastair-gemmell: https://github.com/alastair-gemmell