The source project of this merge request has been removed.
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.
Import of new upstream snapshot.
Please do a git tag upstream/0.10.0+git20240714 on it after merging.