Change heading level of case insensitive matching fragment#18394

Merged

ebyhr merged 1 commit intotrinodb:masterfrom blvckcoffee:jj/matching-fragment-heading-level-fix

Jul 25, 2023

+1-1

Commits on Jul 24, 2023

Change subheading level in case insensitive matching fragment
blvckcoffee
committed