From 14c53e2385b39f5c106a2b5f1bc3ea800690c5f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B8rn=20Lindeijer?= <bjorn@lindeijer.nl>
Date: Sun, 30 Nov 2008 14:29:36 +0100
Subject: [PATCH] Updated version to 0.7.2 and updated list of changes

---
 CHANGES                            | 7 +++++++
 src/tiled/mapeditor/MapEditor.java | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index cd3107a..ed0f970 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,12 @@
+0.7.2 - November 30th, 2008
+
 * Added support for associating an image with a map object
 * Fixed not being able to move an object group
+* Fixed unable to select small map objects
+* Fixed references to external tilesets that are not in the same directory
+* Fixed some files missing from tiled-core.jar
+* Updated The Mana World plugin to detect collision layer correctly
+* Updated minimum Java version to now 1.5
 
 0.7.1 - September 2nd, 2008
 
diff --git a/src/tiled/mapeditor/MapEditor.java b/src/tiled/mapeditor/MapEditor.java
index 84afadb..15fdf5a 100644
--- a/src/tiled/mapeditor/MapEditor.java
+++ b/src/tiled/mapeditor/MapEditor.java
@@ -74,7 +74,7 @@ public class MapEditor implements ActionListener, MouseListener,
     private Cursor curEyed;
 
     /** Current release version. */
-    public static final String version = "0.7.1";
+    public static final String version = "0.7.2";
 
     private Map currentMap;
     private MapView mapView;