Update lockfile.json (#2495)

Co-authored-by: GitHub <noreply@github.com>
This commit is contained in:
github-actions[bot] 2022-02-08 23:01:55 +00:00 committed by GitHub
parent 5639b74db0
commit c79901e23a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -150,7 +150,7 @@
"revision": "a4f71eb9b8c9b19ded3e0e9470be4b1b77c2b569"
},
"latex": {
"revision": "f112e7ab87061a5338259d9773f917e55053b149"
"revision": "323b609de40b7729073482a3c59de76cfba7744f"
},
"ledger": {
"revision": "0cdeb0e51411a3ba5493662952c3039de08939ca"