Version 1.3.2

gap-packages · Oct 6, 2022 · 30efc77 · 30efc77
1 parent 18169dc
commit 30efc77
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git 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
@@ -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
@@ -1 +1 @@
-1.3.1
+1.3.2