remove unnecessary name extension member.#245

Open

tfoote wants to merge 3 commits intomainfrom tfoote/strip_name_usage

+41-82

Commits on Mar 29, 2024

homogenize to use get_name() in all extensions
tfoote
committed

Commits on Sep 23, 2024