New upstream version 0.10.0+git20240714

Import of new upstream snapshot.

Please do a git tag upstream/0.10.0+git20240714 on it after merging.

Merge request reports

Loading