From 0df57204dda21eba36f873f0651784d2bff2f66b Mon Sep 17 00:00:00 2001
From: Erik Perri <46399654+erik-perri@users.noreply.github.com>
Date: Mon, 2 Dec 2019 00:49:20 +0000
Subject: [PATCH] Added 7.1 migration guide link

---
 eol.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/eol.php b/eol.php
index 75800824c4..b2a4d93955 100644
--- a/eol.php
+++ b/eol.php
@@ -6,6 +6,7 @@
 
 // Notes for specific branches can be added here, and will appear in the table.
 $BRANCH_NOTES = array(
+	'7.1' => '<a href="/migration72">A guide is available for migrating from PHP 7.1 to 7.2.</a>',
 	'7.0' => '<a href="/migration71">A guide is available for migrating from PHP 7.0 to 7.1.</a>',
 	'5.6' => '<a href="/migration70">A guide is available for migrating from PHP 5.6 to 7.0.</a>',
 	'5.5' => '<a href="/migration56">A guide is available for migrating from PHP 5.5 to 5.6.</a>',