bump i18n again

12 months ago · dd60093dfc
parent 85347a54d9
commit dd60093dfc
1 changed files with 1 additions and 1 deletions
--- a/server/lake-manifest.json
+++ b/server/lake-manifest.json
@ -13,7 +13,7 @@
  {"url": "https://github.com/hhu-adam/lean-i18n.git",
   "type": "git",
   "subDir": null,
-   "rev": "5882ac48f71c44bbde2c34dced8e05e9ee4b7746",
+   "rev": "c5b84feffb28dbd5b1ac74b3bf63271296fabfa5",
   "name": "i18n",
   "manifestFile": "lake-manifest.json",
   "inputRev": "v4.6.0",