Merge devel branch into master

[evilaliv3]

Test first attempt of integrating devel into branch to test new merge policies.

[codacy-production[bot]]

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation	Diff coverage
:white_check_mark: +0.50% (target: -1.00%)	:white_check_mark: 95.06% (target: 70.00%)

Coverage variation details

| | Coverable lines | Covered lines | Coverage | | ------------- | ------------- | ------------- | ------------- | | Common ancestor commit (842d52a355341b4b158244e56617e1eb39de6d42) | 18603 | 15144 | 81.41% | | | Head commit (5a80cf46793560cdd2521f5f2aefff9ef5d9e54b) | 37982 (+19379) | 31111 (+15967) | 81.91% (**+0.50%**) | **Coverage variation** is the difference between the coverage for the head and common ancestor commits of the pull request branch: ` - `

Diff coverage details

| | Coverable lines | Covered lines | Diff coverage | | ------------- | ------------- | ------------- | ------------- | | Pull request (#4281) | 789 | 750 | **95.06%** | **Diff coverage** is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: `/ * 100%`

See your quality gate settings    Change summary preferences

_{Codacy stopped sending the deprecated coverage status on June 5th, 2024. Learn more}

[evilaliv3]

Closing as it was just a test