bump version: 0.8.0 -> 0.8.1

Reviewed By: akotulski

Differential Revision: D3208275

fb-gh-sync-id: eb54dfe
fbshipit-source-id: eb54dfe

configure.ac

@@ -15,14 +15,14 @@ AC_PREREQ([2.63])
 # - opam
 # - docker/Dockerfile
 AC_INIT([Infer],
-        [0.8.0],
+        [0.8.1],
         [https://github.com/facebook/infer/issues/])
 AC_CONFIG_SRCDIR([infer/src/IR/sil.ml])
 
 # WARNING: keep in sync with above
 INFER_MAJOR=0
 INFER_MINOR=8
-INFER_PATCH=0
+INFER_PATCH=1
 
 AC_SUBST([INFER_MAJOR])
 AC_SUBST([INFER_MINOR])

docker/Dockerfile

@@ -40,7 +40,7 @@ RUN VERSION=1.2.2; \
 RUN opam init -y --comp=4.02.3
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.8.0; \
+RUN INFER_VERSION=v0.8.1; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \

opam

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