From 7acd4d1f00fd4df112d29ecbbd41b580a0d1b5cc Mon Sep 17 00:00:00 2001
From: "Michael R. P. Ragazzon" <mikke89@users.noreply.github.com>
Date: Wed, 25 Aug 2021 00:47:00 +0200
Subject: [rmlui] Update to 4.2 (#19719)

---
 versions/r-/rmlui.json | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'versions/r-')

diff --git a/versions/r-/rmlui.json b/versions/r-/rmlui.json
index f3c15b656..73fad0f96 100644
--- a/versions/r-/rmlui.json
+++ b/versions/r-/rmlui.json
@@ -1,5 +1,10 @@
 {
   "versions": [
+    {
+      "git-tree": "67865d8852b0c90297adca30ee2640e469eb91d7",
+      "version": "4.2",
+      "port-version": 0
+    },
     {
       "git-tree": "83f463f3ebcc4e415d6903bea260fb1601a14dd2",
       "version": "4.1",
-- 
cgit v1.2.3