summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSergey Grebenshchikov <sgreben@gmail.com>2018-06-17 16:04:05 +0200
committerSergey Grebenshchikov <sgreben@gmail.com>2018-06-17 16:04:05 +0200
commite16f2062040fb77af52a17894b5fb77f79cfeaba (patch)
tree4dc83e4616aed53d7933b0aa94a333dc14e908de
parentebac9e0cdfaf9943a09f3f873b01339a7218361d (diff)
Release 1.1.12
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index adc9d13..b18d9e2 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ release: README.md
git add README.md
git add Makefile
git commit -am "Release $(VERSION)" || true
- git tag "$(VERSION)"
+ git tag "$(VERSION)" || true
git push
git push origin "$(VERSION)"