3.7.1 release (#5746)

Co-authored-by: Walter Bender <walter@sorceo.com>

Author: walterbender

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;