From 38c94271ba664181a4c1b6859d7d23fae95ea917 Mon Sep 17 00:00:00 2001
From: Dan Marsden <dan@danmarsden.com>
Date: Wed, 15 Nov 2023 12:41:30 +1300
Subject: [PATCH] bump version for plugins db release.

---
 version.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/version.php b/version.php
index 92f6b08..7c60a91 100644
--- a/version.php
+++ b/version.php
@@ -24,8 +24,8 @@
 
 defined('MOODLE_INTERNAL') || die;
 
-$plugin->version   = 2023111401;
-$plugin->release   = 2023111401;
+$plugin->version   = 2023111402;
+$plugin->release   = 2023111402;
 $plugin->maturity  = MATURITY_STABLE;
 $plugin->requires  = 2022112805; // Requires 4.1.
 $plugin->component = 'local_recompletion';