diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 5582b92a3..c1bc23c9c 100644 --- a/lockfile.json +++ b/lockfile.json @@ -378,7 +378,7 @@ "revision": "a233ebe360a73a92c50978e5c4e9e471bc59ff42" }, "tlaplus": { - "revision": "27e6d238a5708b0490f43351f6e0baeaab4c9c1f" + "revision": "f2ad7272d145598ff2d27fda15379d26aa33a7e1" }, "todotxt": { "revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578" |