From 57d184587c0c5f4ea0784ee92093926ba93bbd1d Mon Sep 17 00:00:00 2001
From: GitHub <noreply@github.com>
Date: Thu, 7 Jul 2022 22:29:18 +0000
Subject: Update lockfile.json

---
 lockfile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lockfile.json b/lockfile.json
index a91d42d1..b3a84d50 100644
--- a/lockfile.json
+++ b/lockfile.json
@@ -318,7 +318,7 @@
     "revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5"
   },
   "tlaplus": {
-    "revision": "dde405e5128c3c47ab8aa014d21b6e5296ca450f"
+    "revision": "619cfb34f4e0154120a227dac2ba0f55273812cc"
   },
   "todotxt": {
     "revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578"
-- 
cgit v1.2.3