diff --git a/INSTALL.md b/INSTALL.md
index 1de7bfd73..6c173176e 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -25,18 +25,25 @@ minimum requirements are indicated in bold. For a detailed list of changes, see
 		<th>Release status</th>
 	</tr>
 	<tr>
-		<th>Maps 7.1.x</th>
+		<th>Maps 7.2.x</th>
 		<td>7.1 - 7.3+</td>
 		<td>1.31 - 1.32+</td>
 		<td>3.0+</td>
 		<td>Planned Q1 2019</td>
 	</tr>
+	<tr>
+		<th>Maps 7.1.x</th>
+		<td>7.1 - 7.3</td>
+		<td>1.31 - 1.32</td>
+		<td>3.0.x</td>
+		<td><strong>Stable release</strong></td>
+	</tr>
 	<tr>
 		<th>Maps 7.0.x</th>
 		<td>7.1 - 7.3</td>
 		<td>1.31 - 1.32</td>
 		<td><strong>3.0.x</strong></td>
-		<td><strong>Stable release</strong></td>
+		<td>Obsolete release, no support</td>
 	</tr>
 	<tr>
 		<th>Maps 6.3.x</th>
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
index 96ebf177b..741bb66c8 100644
--- a/RELEASE-NOTES.md
+++ b/RELEASE-NOTES.md
@@ -5,7 +5,7 @@ different releases and which versions of PHP and MediaWiki they support, see the
 
 ## Maps 7.1.0
 
-Under development
+Released on January 16th, 2019.
 
 * Added `egMapsEnableCoordinateFunction` setting (for people using the GeoData extension)
 * Fixed fatal error on Special:MapEditor (6.1.0 regression) (by @paladox)