Update the number of core team members on core team page

This number is now seven, instead of five.

diff --git a/templates/pages/developer/core.html b/templates/pages/developer/core.html
index a257b938361e27b1c66878404ed7e6c51c207340..5ba5c2798f86a6f5246e6b4fd0aaba903b9006f6 100644 (file)
--- a/templates/pages/developer/core.html
+++ b/templates/pages/developer/core.html
@@ -4,7 +4,7 @@
 
 <h1>Core Team <i class="fa fa-users"></i></h1>
 
-<p>The PostgreSQL Global Development Group core team is composed of five long-time community members
+<p>The PostgreSQL Global Development Group core team is composed of seven long-time community members
 with various specialisations.  Their roles include:</p>
 <ul>
   <li>Coordinating release activities.</li>