From d393d13b3746ecc9f84c5e2b7f386e1bdee740ae Mon Sep 17 00:00:00 2001
From: jmoenig <jens@moenig.org>
Date: Mon, 1 Dec 2014 11:55:02 +0100
Subject: [PATCH] updated history

---
 gui.js      | 2 +-
 history.txt | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/gui.js b/gui.js
index 76048c26..b3bb460a 100644
--- a/gui.js
+++ b/gui.js
@@ -69,7 +69,7 @@ SpeechBubbleMorph*/
 
 // Global stuff ////////////////////////////////////////////////////////
 
-modules.gui = '2014-November-20';
+modules.gui = '2014-December-01';
 
 // Declarations
 
diff --git a/history.txt b/history.txt
index 34f967c7..b8f13002 100755
--- a/history.txt
+++ b/history.txt
@@ -2366,3 +2366,5 @@ ______
 141201
 ------
 * Objects: Hide hidden elements in the project thumbnail
+* GUI: Point project dialog to cloud if already signed in, thanks, Michael!
+* favicon: Transparent background, thanks, Michael!