From 98b1c40c00c7943e9a759f496eb6cf2d646fd2b7 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Thu, 21 Oct 2021 23:00:54 +0200
Subject: [PATCH] Version 4.7.2

---
 CHANGES       | 4 ++++
 PackageInfo.g | 4 ++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/CHANGES b/CHANGES
index b79fc11..12a4c50 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,9 @@
 This file describes changes in the IO package.
 
+4.7.2 (2021-10-21)
+  - Change `Random( RandomSource( IsRealRandomSource, "random" ), 1, 1 )` from `fail` to `1`.
+  - Improve `IO_CallWithTimeout` documentation
+
 4.7.1 (2021-04-11)
   - Add IO_realpath
   - Handle crashing GAP in IO_CallWithTimeout
diff --git a/PackageInfo.g b/PackageInfo.g
index 2e5191b..ec15c9f 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -7,8 +7,8 @@ SetPackageInfo( rec(
 
 PackageName := "IO",
 Subtitle := "Bindings for low level C library I/O routines",
-Version := "4.7.1",
-Date := "11/04/2021", # dd/mm/yyyy format
+Version := "4.7.2",
+Date := "21/10/2021", # dd/mm/yyyy format
 License := "GPL-3.0-or-later",
 
 ##  Information about authors and maintainers.