From 9a2e2e305ddbeeb4865f53b7bf49bbb811aacc84 Mon Sep 17 00:00:00 2001
From: Antonin Bas <antonin@barefootnetworks.com>
Date: Thu, 21 Feb 2019 13:26:10 -0800
Subject: [PATCH] changed VERSION number to 1.13.0 for release

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

diff --git a/VERSION b/VERSION
index 32bd932f3..f88cf52e6 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.12.0
\ No newline at end of file
+1.13.0
\ No newline at end of file