Minor fixes from getting it to build first time.#16

Merged

klemens-morgenstern merged 1 commit intoboostorg:masterfrom ned14:master

Jul 13, 2023

+10-5

Commits on Jul 13, 2023

Minor fixes from getting it to build first time.
ned14
committed