bump lean-i18n and other stuff

2024-03-27 01:37:58 +01:00
parent ad1add5264
commit 1a54edffd4
3 changed files with 6 additions and 2 deletions
@@ -13,7 +13,7 @@
  {"url": "https://github.com/hhu-adam/lean-i18n.git",
   "type": "git",
   "subDir": null,
-   "rev": "59fea5bbc2ea22c2ee77ea6a65b0212ac241a56f",
+   "rev": "2c5ce050296621fda7f938b270a18d00672d556b",
   "name": "i18n",
   "manifestFile": "lake-manifest.json",
   "inputRev": "main",