Merge PR #12985: Remove ocamlformat from the linter and the pre-commit hook.

Reviewed-by: Zimmi48
Reviewed-by: gares
Reviewed-by: maximedenes
Reviewed-by: Matafou
Ack-by: ejgallego

1 files changed, 6 insertions, 0 deletions

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index 7d2100515d..59c1623a2d 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -4,6 +4,12 @@
   comes from a notation. Use `None` if not and `Some foo` to tell to
   print such TacGeneric surrounded with `foo:( )`.
 
+### Code formatting
+
+- The automatic code formatting tool `ocamlformat` has been disabled and its
+  git hook removed. If desired, automatic formatting can be achieved by calling
+  the `fmt` target of the dune build system.
+
 ## Changes between Coq 8.11 and Coq 8.12
 
 ### Code formatting