gh-413: hotfix#426

Merged

JaimeRZP merged 1 commit into

mainfrom

Jul 8, 2026

Codecov / codecov/patch succeeded Jul 2, 2026 in 0s

100.00% of diff hit (target 83.62%)

View this Pull Request on Codecov

100.00% of diff hit (target 83.62%)

View more details on Codecov