bump version: 0.13.0 -> 0.14.0

Summary: There have been many improvements and a new clang since the last release.

Reviewed By: dulmarod

Differential Revision: D7443622

fbshipit-source-id: 30d31c0
master
Jules Villard 7 years ago committed by Facebook Github Bot
parent 5155417800
commit 515e8d950d

@ -15,14 +15,14 @@ AC_PREREQ([2.63])
# - opam
# - docker/Dockerfile
AC_INIT([Infer],
[0.13.0],
[0.14.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=13
INFER_MINOR=14
INFER_PATCH=0
AC_SUBST([INFER_MAJOR])

@ -1,6 +1,6 @@
opam-version: "1.2"
name: "infer"
version: "0.13.0"
version: "0.14.0"
maintainer: "opam-devel@lists.ocaml.org"
authors: "Facebook"
homepage: "https://github.com/facebook/infer"

Loading…
Cancel
Save