From 2bf2d4cc2c4f0703f40c56219dd0ced525c71ec1 Mon Sep 17 00:00:00 2001
From: Alexander Bias <alexander.bias@lernlink.de>
Date: Wed, 21 Aug 2024 20:57:53 +0200
Subject: [PATCH] Release v4.2-r3

---
 CHANGES.md  | 2 +-
 version.php | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 63ce64c..b456395 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -4,7 +4,7 @@ moodle-tool_redis
 Changes
 -------
 
-### Unreleased
+### v4.2-r3
 
 * 2024-08-21 - Replace deprecated print_error() with moodle_exception.
 
diff --git a/version.php b/version.php
index 60088b6..c11180f 100644
--- a/version.php
+++ b/version.php
@@ -25,8 +25,8 @@
 defined('MOODLE_INTERNAL') || die();
 
 $plugin->component = 'tool_redis';
-$plugin->version = 2023090101;
-$plugin->release = 'v4.2-r2';
+$plugin->version = 2023090102;
+$plugin->release = 'v4.2-r3';
 $plugin->requires = 2023042400;
 $plugin->supported = [402, 402];
 $plugin->maturity = MATURITY_STABLE;