From 03eeff57dbd6d445c0f93cccd606d2376e950b1f Mon Sep 17 00:00:00 2001
From: Antonin Bas <antonin@barefootnetworks.com>
Date: Mon, 3 Jul 2017 11:47:22 -0700
Subject: [PATCH] changed VERSION number to 1.7.2 for release

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

diff --git a/VERSION b/VERSION
index 081af9a10..0a182f2e3 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.7.1
\ No newline at end of file
+1.7.2
\ No newline at end of file