From 9553a0636fe22daf407f4eeb4f1899b9f1b876da Mon Sep 17 00:00:00 2001
From: Chris Jefferson <caj21@st-andrews.ac.uk>
Date: Fri, 3 Apr 2020 15:28:51 +0100
Subject: [PATCH] Prepare for 2.0.2 release

---
 HISTORY       | 2 +-
 PackageInfo.g | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/HISTORY b/HISTORY
index 952b5b0..076138f 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,4 +1,4 @@
-
+2.0.2 : New build system, remove VERSION file
 2.0.1 : Fix GC bug in JsonStringToGap, which would
         lead to spurious break loops.
 2.0.0 : Improve unicode handling.
diff --git a/PackageInfo.g b/PackageInfo.g
index 6107e12..fae38f0 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "json",
 Subtitle := "Reading and Writing JSON",
-Version := "2.0.1",
-Date := "03/11/2019", # dd/mm/yyyy format
+Version := "2.0.2",
+Date := "03/04/2020", # dd/mm/yyyy format
 License := "BSD-2-Clause",
 
 Persons := [