one more 12.1 to 13 update

Author: davidcarlisle

make-new

@@ -3,8 +3,8 @@
 
 
 if [ ! -f UnicodeData-13.0.0.txt ] ; then
-    wget https://www.unicode.org/Public/12.1.0/ucd/UnicodeData.txt
-    mv UnicodeData.txt UnicodeData-12.1.0.txt
+    wget https://www.unicode.org/Public/13.0.0/ucd/UnicodeData.txt
+    mv UnicodeData.txt UnicodeData-13.0.0.txt
 fi
 
 if [ ! -f MathClass-15.txt ] ; then