Skip to content

Add missing obsolete attributes#8137

Merged
flobernd merged 2 commits intomainfrom
missing-obsolete
Apr 17, 2024
Merged

Add missing obsolete attributes#8137
flobernd merged 2 commits intomainfrom
missing-obsolete

Commits

Commits on Apr 17, 2024