Merge branch 'stable/cobalt'

opam

@@ -127,9 +127,9 @@ depends: [
   "conf-time" { with-test }
   "menhir" { >= "20181006" & build }
   "ocaml" { >= "4.11.1" }
+  "ocamlfind" # needed beyond build stage, used by -load-module
   "ocamlgraph" { >= "1.8.8" }
   "odoc" { with-doc }
-  "unionFind" { >= "20220107" }
   "why3" { >= "1.6.0" }
   "yaml" { >= "3.0.0" }
   "yojson" {>= "1.6.0" & (>= "2.0.1" | !with-test)}

releases/27.1.md

 # Kernel
 - Fixes a crash and a freeze in the GTK GUI
-- Add a wrapper in `frama-c-script` pour `make_machdep.py`
+- Add a wrapper in `frama-c-script` for `make_machdep.py`
 
 # Ivette
 - Fixes a crash with multiple instances of Ivette

src/plugins/wp/Changelog

@@ -40,6 +40,10 @@ Plugin WP <next-release>
 Plugin WP 27.1 (Cobalt)
 ###############################################################################
 
+###############################################################################
+Plugin WP 27.1 (Cobalt)
+###############################################################################
+
 ###############################################################################
 Plugin WP 27.0 (Cobalt)
 ###############################################################################