From 81b37fc87c66d5b79662e5a58fbb3a7e18877520 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Wed, 20 Mar 2013 08:56:34 -0500
Subject: [PATCH] Bump version number to distinguish trunk from last real
 release

---
 resources/etc/version.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/etc/version.properties b/resources/etc/version.properties
index 515e18f2..4d8350a8 100644
--- a/resources/etc/version.properties
+++ b/resources/etc/version.properties
@@ -1,3 +1,3 @@
 version.major=1
 version.minor=0
-version.release=9
+version.release=10a