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/baseline.json | 2 +-
 versions/r-/rmlui.json | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

(limited to 'versions')

diff --git a/versions/baseline.json b/versions/baseline.json
index 3568f7f13..0a54c99f5 100644
--- a/versions/baseline.json
+++ b/versions/baseline.json
@@ -5629,7 +5629,7 @@
       "port-version": 0
     },
     "rmlui": {
-      "baseline": "4.1",
+      "baseline": "4.2",
       "port-version": 0
     },
     "roaring": {
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