Merge branch 'update/deps' into 'develop'

Updating release notes See merge request njoy/tools!16
njoy · Feb 19, 2025 · 0b5eff1 · 0b5eff1
2 parents b8b5ca6 + 1c3033d
commit 0b5eff1
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ReleaseNotes.md b/ReleaseNotes.md
@@ -1,6 +1,9 @@
 # Release Notes&mdash;tools
 Given here are some release notes for tools.
 
+## tools v0.4.2
+This version updates the pybind11 version to 2.13.6 and makes an update to the GitHub CI file. There are no functional changes.
+
 ## tools v0.4.1
 Bug fixes:
   - iterator guards were added to the disco parser to avoid valgrind errors in ENDFtk.