fix 2023dev
Merge pull request #7019 from boudoul/fix2023dev

fix 2023Muondev  (development scenario)