More prominent Profiles in the navbar#491

Merged

mrshll1001 merged 1 commit into3.0from profile-placement

Jan 11, 2024

+1-3

Commits on Dec 28, 2023

Changed some headings in the using profiles page to make a list of known profiles more discoverable
Matt Marshall
committed