bump version: 0.12.0 -> 0.13.0

Summary: New version of clang.

Reviewed By: martinoluca

Differential Revision: D5497860

fbshipit-source-id: c1e1f31

configure.ac

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

opam

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