bump version: 0.11.0 -> 0.12.0

Reviewed By: mbouaziz

Differential Revision: D5069253

fbshipit-source-id: 3c54a62
master
Jules Villard 8 years ago committed by Facebook Github Bot
parent 3f87a7de2b
commit 523cd84e92

@ -15,14 +15,14 @@ AC_PREREQ([2.63])
# - opam # - opam
# - docker/Dockerfile # - docker/Dockerfile
AC_INIT([Infer], AC_INIT([Infer],
[0.11.0], [0.12.0],
[https://github.com/facebook/infer/issues/]) [https://github.com/facebook/infer/issues/])
AC_CONFIG_SRCDIR([infer/src/IR/Sil.re]) AC_CONFIG_SRCDIR([infer/src/IR/Sil.re])
# WARNING: keep in sync with above # WARNING: keep in sync with above
INFER_MAJOR=0 INFER_MAJOR=0
INFER_MINOR=11 INFER_MINOR=12
INFER_PATCH=0 INFER_PATCH=0
AC_SUBST([INFER_MAJOR]) AC_SUBST([INFER_MAJOR])

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

Loading…
Cancel
Save