Closed pattacini closed 3 months ago
Fix #646.
This PR doesn't affect the distro 2024.05.0 as it involves devel. It can be safely merged.
devel
Ok, I do not think anyone actually tested the new files, but I guess we can test on master/release.
Fix #646.