Update lockfile.json

This commit is contained in:
GitHub 2022-01-25 12:41:45 +00:00 committed by Stephan Seitz
parent 24688a02bc
commit d2981d20da

View file

@ -255,7 +255,7 @@
"revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
},
"tlaplus": {
"revision": "c8bc17023f03d62bd3d01adcfae2c9ca5820a9fd"
"revision": "f99f369f4b907108ac35cc49a56b7c8602f8332d"
},
"toml": {
"revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"