From 1df0c7d60d629f3842b23538dd2b165f43c4fe67 Mon Sep 17 00:00:00 2001
From: Oren Novotny <oren@novotny.org>
Date: Tue, 30 Jan 2018 21:04:43 -0500
Subject: [PATCH] v4.2

---
 version.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.json b/version.json
index 7a47ae117..2ad4651d0 100644
--- a/version.json
+++ b/version.json
@@ -1,5 +1,5 @@
 {
-  "version": "4.2.0-build.{height}",
+  "version": "4.2.0",
   "publicReleaseRefSpec": [
     "^refs/heads/master$", // we release out of master
     "^refs/tags/v\\d+\\.\\d+" // we also release tags starting with vN.N