Merge branch 'master' into devel

jorisv · jorisv · commit bd9a91e2c74d · 2023-11-09T11:24:34.000+01:00
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -6,6 +6,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ## [Unreleased]
 
+## [3.1.2] - 2023-11-09
+
 ### Added
 - Support Python 3.12 ([#391](https://github.com/stack-of-tasks/eigenpy/pull/391))
 
