Merge branch '577-maintenance-of-obstools' into 'branch_5.0' (!767) · Merge requests · NEMO Workspace / Nemo · GitLab

Simon Mueller requested to merge cherry-pick-f736f360 into main Dec 11, 2024

Resolve "Maintenance of OBSTOOLS"

See merge request !762 (merged) and issue #577

(cherry picked from commit f736f360)

77abea92 Restoration of OBSTOOLS compilability

Edited Dec 11, 2024 by Simon Mueller