diff --git a/docs/upgrades/upgrade_7.1.2-7.2.0.pl b/docs/upgrades/upgrade_7.1.3-7.2.0.pl
similarity index 100%
rename from docs/upgrades/upgrade_7.1.2-7.2.0.pl
rename to docs/upgrades/upgrade_7.1.3-7.2.0.pl