From e7d42165847049d4dac088130ce1a4ebbe8764d8 Mon Sep 17 00:00:00 2001
From: Walter Bender <walter.bender@gmail.com>
Date: Sun, 27 Oct 2019 17:08:35 -0400
Subject: [PATCH] bump version number to 2.80

---
 js/turtledefs.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/turtledefs.js b/js/turtledefs.js
index d4265b0390..b8a4e320f2 100644
--- a/js/turtledefs.js
+++ b/js/turtledefs.js
@@ -26,7 +26,7 @@ if (GUIDEURL === 'guide url' || GUIDEURL === '') {
 const NUMBERBLOCKDEFAULT = 4;
 const DEFAULTPALETTE = 'rhythm';
 var TITLESTRING = _('Music Blocks is a collection of tools for exploring fundamental musical concepts in a fun way.')
-const VERSION = '2.72';
+const VERSION = '2.80';
 
 // We don't include 'extras' since we want to be able to delete
 // plugins from the extras palette.