From 879dfa9a648cd3c7d52b05e8c9e36ced8aa93acf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ulysse=20G=C3=A9rard?= Date: Fri, 13 Dec 2024 14:37:54 +0100 Subject: [PATCH] Update .git-blame-ignore-revs Co-authored-by: Jules Aguillon --- .git-blame-ignore-revs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.git-blame-ignore-revs b/.git-blame-ignore-revs index 0eb30218f..65d59c14e 100644 --- a/.git-blame-ignore-revs +++ b/.git-blame-ignore-revs @@ -1,2 +1,4 @@ # git config blame.ignoreRevsFile .git-blame-ignore-revs 40e0cdb95ff31b81212109fada6e0ff93b6eefee +# Upgrade to OCamlformat 0.27.0 +b950681a6853596f072ca9ef7a35cd6a0fe5dc33