Update lockfile.json

This commit is contained in:
GitHub 2022-07-07 22:29:18 +00:00 committed by Stephan Seitz
parent 8bc4d046e7
commit 57d184587c

View file

@ -318,7 +318,7 @@
"revision": "eb1d3714998977ae76ca7c6a102b10ee37efc2b5"
},
"tlaplus": {
"revision": "dde405e5128c3c47ab8aa014d21b6e5296ca450f"
"revision": "619cfb34f4e0154120a227dac2ba0f55273812cc"
},
"todotxt": {
"revision": "0207f6a4ab6aeafc4b091914d31d8235049a2578"