Update lockfile.json

This commit is contained in:
GitHub 2022-05-14 10:58:51 +00:00 committed by Christian Clason
parent c2ec0cac81
commit 9ff4953f40

View file

@ -174,7 +174,7 @@
"revision": "7744b56f03ac1e5643fad23c9dd90837fe97291e"
},
"latex": {
"revision": "3b370b5ca3948312738b4f27b2a12e4bb58907a2"
"revision": "23463ca6b867e8089d3b680ad720dc8fd26af34e"
},
"ledger": {
"revision": "1050a25df55a62878102d10e524b5184b316b7ad"