bump version 0.13.1

facebook · Feb 2, 2018 · beea923 · beea923
1 parent 527398b
commit beea923
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/configure.ac b/configure.ac
@@ -15,15 +15,15 @@ AC_PREREQ([2.63])
 # - opam
 # - docker/Dockerfile
 AC_INIT([Infer],
- [0.13.0],
+ [0.13.1],
  [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_PATCH=0
+INFER_PATCH=1
 
 AC_SUBST([INFER_MAJOR])
 AC_SUBST([INFER_MINOR])

diff --git a/opam b/opam
@@ -1,6 +1,6 @@
 opam-version: "1.2"
 name: "infer"
-version: "0.13.0"
+version: "0.13.1"
 maintainer: "[email protected]"
 authors: "Facebook"
 homepage: "https://github.com/facebook/infer"