Update lockfile.json

This commit is contained in:
GitHub 2022-06-05 09:51:21 +00:00 committed by Christian Clason
parent b39840302c
commit 8112d9bc90

View file

@ -174,7 +174,7 @@
"revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
},
"latex": {
"revision": "104a5dea952d5f00150afd6a8436e6cad95ef718"
"revision": "9cbe0c6be9455b6d3be19f51daef6d08732abab1"
},
"ledger": {
"revision": "1050a25df55a62878102d10e524b5184b316b7ad"