prepare minor release

jmoenig · Mar 13, 2018 · 60b0ce1 · 60b0ce1
1 parent 83c54ca
commit 60b0ce1
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/gui.js b/gui.js
@@ -75,7 +75,7 @@ isRetinaSupported, SliderMorph, Animation, BoxMorph, MediaRecorder*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2018-March-09';
+modules.gui = '2018-March-13';
 
 // Declarations
 
@@ -3499,7 +3499,7 @@ IDE_Morph.prototype.aboutSnap = function () {
         module, btn1, btn2, btn3, btn4, licenseBtn, translatorsBtn,
         world = this.world();
 
-    aboutTxt = 'Snap! 4.1.2.4\nBuild Your Own Blocks\n\n'
+    aboutTxt = 'Snap! 4.1.2.5\nBuild Your Own Blocks\n\n'
         + 'Copyright \u24B8 2018 Jens M\u00F6nig and '
         + 'Brian Harvey\n'
         + 'jens@moenig.org, bh@cs.berkeley.edu\n\n'

diff --git a/history.txt b/history.txt
@@ -4025,3 +4025,5 @@ Translation Updates:
 180313
 ------
 * Objects: draw a "dot" pentrail when moving zero steps while the pen is down
+
+=== v4.1.2.5 maintenance release ===
diff --git a/snap.html b/snap.html
@@ -2,14 +2,14 @@
 <html>
 	<head>
 		<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
-		<title>Snap! Build Your Own Blocks 4.1.2.4</title>
+		<title>Snap! Build Your Own Blocks 4.1.2.5</title>
 		<link rel="shortcut icon" href="favicon.ico">
 		<script type="text/javascript" src="morphic.js?version=2018-03-09"></script>
 		<script type="text/javascript" src="widgets.js?version=2018-03-09"></script>
 		<script type="text/javascript" src="blocks.js?version=2018-03-09"></script>
 		<script type="text/javascript" src="threads.js?version=2018-03-09"></script>
-		<script type="text/javascript" src="objects.js?version=2018-03-09"></script>
-		<script type="text/javascript" src="gui.js?version=2018-03-09"></script>
+		<script type="text/javascript" src="objects.js?version=2018-03-13"></script>
+		<script type="text/javascript" src="gui.js?version=2018-03-13"></script>
 		<script type="text/javascript" src="paint.js?version=2018-03-09"></script>
 		<script type="text/javascript" src="lists.js?version=2018-03-09"></script>
 		<script type="text/javascript" src="byob.js?version=2018-03-09"></script>