From 2eef2da4d9f3007b4fcc6d07008a4d2f44b3f0e6 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 21 May 2018 09:00:41 -0700
Subject: [PATCH] bump version: 0.14.0 -> 0.15.0

Summary: .

Reviewed By: mbouaziz

Differential Revision: D8076279

fbshipit-source-id: 7cae555
---
 configure.ac | 5 ++---
 opam         | 2 +-
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/configure.ac b/configure.ac
index f8938c2d6..b2ce51174 100644
--- a/configure.ac
+++ b/configure.ac
@@ -13,16 +13,15 @@ AC_PREREQ([2.63])
 # WARNING: the version number has to be kept in sync with:
 # - the values below
 # - opam
-# - docker/Dockerfile
 AC_INIT([Infer],
-        [0.14.0],
+        [0.15.0],
         [https://github.com/facebook/infer/issues/])
 
 AC_CONFIG_SRCDIR([infer/src/istd/IStd.ml])
 
 # WARNING: keep in sync with above
 INFER_MAJOR=0
-INFER_MINOR=14
+INFER_MINOR=15
 INFER_PATCH=0
 
 AC_SUBST([INFER_MAJOR])
diff --git a/opam b/opam
index 4ec8f6837..b95a8919a 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.14.0"
+version: "0.15.0"
 maintainer: "opam-devel@lists.ocaml.org"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"