diff options
| author | GitHub <noreply@github.com> | 2022-07-31 06:44:27 +0000 |
|---|---|---|
| committer | Christian Clason <christian.clason@uni-due.de> | 2022-07-31 11:07:49 +0200 |
| commit | 6014ad4b264900992c9797bbe86184a62234a89e (patch) | |
| tree | 3d65c56caa11ad672695d535a84b01f6a4c43ff1 | |
| parent | 18ad3904fbf7f1a11140c97e45432d57e63b40eb (diff) | |
Update lockfile.json
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 7fe542e9..34f155b3 100644 --- a/lockfile.json +++ b/lockfile.json @@ -258,7 +258,7 @@ "revision": "205c2877af33a814386ff275031f88400a011397" }, "rasi": { - "revision": "e2961f02244c068a67549adf896b0779e4a29516" + "revision": "12391343979463a2484e6353e5afb6dcb8c31e8b" }, "regex": { "revision": "e1cfca3c79896ff79842f057ea13e529b66af636" |