From 106a32a733da611169b021ec66501d2f19a59497 Mon Sep 17 00:00:00 2001
From: Jesse McConnell <jesse.mcconnell@gmail.com>
Date: Wed, 22 May 2013 10:43:47 -0500
Subject: [PATCH] set for dev

---
 VERSION.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/VERSION.txt b/VERSION.txt
index 16ff97b15be..b2cc3a8ca9d 100644
--- a/VERSION.txt
+++ b/VERSION.txt
@@ -1,3 +1,5 @@
+jetty-8.1.12-SNAPSHOT
+
 jetty-8.1.11.v20130520 - 20 May 2013
  + 402844 STOP.PORT & STOP.KEY behaviour has changed
  + 403281 jetty.sh waits for started or failure before returning