From 8f7037c591e892ae3b719bf211559d4861d4996a Mon Sep 17 00:00:00 2001
From: Antonin Bas <antonin@barefootnetworks.com>
Date: Thu, 18 May 2017 17:35:27 -0700
Subject: [PATCH] changed VERSION number to 1.7.1 for release

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

diff --git a/VERSION b/VERSION
index 9dbb0c005..081af9a10 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.7.0
\ No newline at end of file
+1.7.1
\ No newline at end of file