Update lockfile.json

This commit is contained in:
GitHub 2022-05-11 16:50:04 +00:00 committed by Christian Clason
parent aaf5d370f4
commit a8bf745e4a

View file

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