From 001e6a7c8ff9d935ff82ec74e82fb9dd0d66bace Mon Sep 17 00:00:00 2001 From: Irene Papakonstantinou Date: Wed, 19 Aug 2015 14:10:23 -0100 Subject: [PATCH] Bump version --- infer/src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/Makefile b/infer/src/Makefile index 7027a1bf4..e5779d55c 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -183,7 +183,7 @@ sanitize: ifneq ($(shell which git),) MAJOR = 0 -MINOR = 2 +MINOR = 3 PATCH = 0 GIT_COMMIT = $(shell git rev-parse HEAD | awk '{print $0; exit}' | xargs echo -n | sed 's/[\/&]/\\&/g')