Skip to content

Use IDs and names from ReturnData#3112

Merged
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:gh-3107-use-rdata-ids
Dec 17, 2025
Merged

Use IDs and names from ReturnData#3112
dweindl merged 1 commit intoAMICI-dev:mainfrom
dweindl:gh-3107-use-rdata-ids

Commits

Commits on Dec 16, 2025