Update lockfile.json

This commit is contained in:
GitHub 2022-05-11 18:38:37 +00:00 committed by Christian Clason
parent a8bf745e4a
commit 10d57b3ec1

View file

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