DOC: update docs in patch file

patches/patch20231101-7.0.1/patch.sh

@@ -19,8 +19,9 @@
 # along with this program. If not, see <https://www.gnu.org/licenses/>.
 #
 
-# Update mysql schema to version v7.0.0
-# No migration of the schema, updating procedures only
+# Update mysql schema to version v7.0.1
+# Removing remnant tables. This patch version also adds new sanity checks
+# during installation/upgrade
 
 NEW_VERSION="v7.0.1"
 OLD_VERSION="v7.0.0"
@@ -41,4 +42,3 @@ mysql_execute "DROP TABLE IF EXISTS isa";
 update_version $NEW_VERSION
 
 success
-