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

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

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