From d4507893de83dab550c6b85a2da1a8efe9793a96 Mon Sep 17 00:00:00 2001
From: Roy Johnson <roy.l.johnson@gmail.com>
Date: Thu, 26 Oct 2006 20:48:07 +0000
Subject: [PATCH] ok... fixed my doof, resetdev works in head now

---
 docs/upgrades/{upgrade_7.1.2-7.2.0.pl => upgrade_7.1.3-7.2.0.pl} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename docs/upgrades/{upgrade_7.1.2-7.2.0.pl => upgrade_7.1.3-7.2.0.pl} (100%)

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