Remove setting of timestamp in CHANGE_LOG

push

@@ -24,10 +24,10 @@ test "$bugfixId"
 tag="v$versionId" 
 
 # Ensure that the first line of file CHANGE_LOG has the current time
-awk 'NR==1{print $1"\t'`date --iso-8601=seconds`'"}NR>1' CHANGE_LOG \
-    >CHANGE_LOG.tmp
-mv CHANGE_LOG.tmp CHANGE_LOG
-git commit -m $tag CHANGE_LOG
+#awk 'NR==1{print $1"\t'`date --iso-8601=seconds`'"}NR>1' CHANGE_LOG \
+    #>CHANGE_LOG.tmp
+#mv CHANGE_LOG.tmp CHANGE_LOG
+#git commit -m $tag CHANGE_LOG
 
 # Because GitHub interprets tagged commits as a release -- regardless of which
 # branch they're on -- commits to branches other than the main branch are not