From 4e6cba79966b0f6f3d671e9bb21d050068791db8 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 3 Dec 2019 14:19:08 +0100
Subject: [PATCH] Version 0.9.3

---
 PackageInfo.g | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/PackageInfo.g b/PackageInfo.g
index c0e7937..2d13140 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -10,8 +10,8 @@ SetPackageInfo( rec(
 
 PackageName := "PackageMaker",
 Subtitle := "A GAP package for creating new GAP packages",
-Version := "0.9.2",
-Date := "08/10/2018", # dd/mm/yyyy format
+Version := "0.9.3",
+Date := "03/12/2019", # dd/mm/yyyy format
 License := "GPL-2.0-or-later",
 
 Persons := [