From 30efc771e63ef8fb5da1f513fb2d8a7676994a8d Mon Sep 17 00:00:00 2001 From: Michael Young Date: Thu, 6 Oct 2022 15:18:26 +0100 Subject: [PATCH] Version 1.3.2 --- CHANGES | 3 +++ PackageInfo.g | 4 ++-- VERSION | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/CHANGES b/CHANGES index 7b39f6d..42f91c4 100644 --- a/CHANGES +++ b/CHANGES @@ -1,5 +1,8 @@ This file describes changes in the PackageManager package. +1.3.2 (2022-10-06) + - More informative error output + 1.3.1 (2022-10-02) - Handle different versions of tar - Make info warnings less verbose at level 3 diff --git a/PackageInfo.g b/PackageInfo.g index eeeea52..7c5804c 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -10,8 +10,8 @@ SetPackageInfo( rec( PackageName := "PackageManager", Subtitle := "Easily download and install GAP packages", -Version := "1.3.1", -Date := "02/10/2022", # dd/mm/yyyy format +Version := "1.3.2", +Date := "06/10/2022", # dd/mm/yyyy format License := "GPL-2.0-or-later", Persons := [ diff --git a/VERSION b/VERSION index 6261a05..d5e98f7 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -1.3.1 \ No newline at end of file +1.3.2 \ No newline at end of file