diff options
| -rw-r--r-- | lockfile.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lockfile.json b/lockfile.json index 4348a1aa7..297725a3d 100644 --- a/lockfile.json +++ b/lockfile.json @@ -255,7 +255,7 @@ "revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4" }, "tlaplus": { - "revision": "c8bc17023f03d62bd3d01adcfae2c9ca5820a9fd" + "revision": "f99f369f4b907108ac35cc49a56b7c8602f8332d" }, "toml": { "revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e" |