diff options
Diffstat (limited to 'lockfile.json')
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 6689d1e0d..2ef0daa8c 100644 --- a/lockfile.json +++ b/lockfile.json @@ -318,7 +318,7 @@ "revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5" }, "tlaplus": { - "revision": "619cfb34f4e0154120a227dac2ba0f55273812cc" + "revision": "6afb6c191ae60c35c1337ddc424ebd748019f305" }, "todotxt": { "revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578" |