Update lockfile.json

This commit is contained in:
GitHub 2021-09-16 20:56:45 +00:00 committed by Stephan Seitz
parent 51a6cbe5fd
commit 4b3d58d39c

View file

@ -117,7 +117,7 @@
"revision": "12ea597262125fc22fd2e91aa953ac69b19c26ca"
},
"kotlin": {
"revision": "e14f86fba2a64630ac7cd49293ef8c50d012b809"
"revision": "f638a09a6db03c58e6324b1999cb59b9d17f8907"
},
"latex": {
"revision": "2c0d03a36ee979bc697f6a9dd119174cf0ef15e0"