Closes #26 (closed)
Merge details
Closed #26 (closed)
changed milestone to %v2.6
added missing label
added 1 commit
Compare with previous version
marked this merge request as ready
enabled an automatic merge when the pipeline for 1639c936 succeeds
mentioned in commit 0219caa8
merged
(May 8, 2025 5:00pm UTC)