From ce8b7ae923eea34ef2ab4c7b515fb35857722e27 Mon Sep 17 00:00:00 2001
From: Antonin Bas <antonin@barefootnetworks.com>
Date: Thu, 4 Jan 2018 10:23:45 -0800
Subject: [PATCH] changed VERSION number to 1.9.3 for release

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index 6f2d3653d..7b0231f53 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.9.2
\ No newline at end of file
+1.9.3
\ No newline at end of file