Informative change to fix incorrect count of number of elements.#124

Merged

Wind4Greg merged 2 commits intow3c:mainfrom Wind4Greg:fix-element-numbers

Feb 5, 2024

+4-4

Commits on Jan 11, 2024

Informative change to fix incorrect count of number of elements.
Wind4Greg
committed

Commits on Jan 19, 2024

Informative change to fix incorrect counts: Also fix formatting of "names".

Wind4Greg
and
davidlehn
authored