Skip to content

Remove obsolete attribute#1

Merged
davidmreed merged 2 commits into
mainfrom
remove-obsolete-attribute
Dec 17, 2025
Merged

Remove obsolete attribute#1
davidmreed merged 2 commits into
mainfrom
remove-obsolete-attribute

Commits

Commits on Dec 17, 2025