3.7.1 release

Author: Walter Bender

js/turtledefs.js

@@ -35,7 +35,7 @@
    getAuxToolbarButtonNames, TITLESTRING
  */
 
-const VERSION = "3.7.0";
+const VERSION = "3.7.1";
 let LOGODEFAULT;
 let LOGOJA1 = LOGODEFAULT;
 let LOGOJA = LOGODEFAULT;