PR #4834 InlineAlert: convert Header to Heading

InlineAlert: convert Header to Heading #4834

reidbarber merged 2 commits into main from inline-alert-convert-header-to-heading

convert header to heading

b4c31089

ktabors approved these changes on 2023-07-29

yihuiliao approved these changes on 2023-07-31

Merge branch 'main' into inline-alert-convert-header-to-heading

91ef94f8

reidbarber merged 973f40ab into main 2 years ago

reidbarber deleted the inline-alert-convert-header-to-heading branch 2 years ago

reidbarber added needs testing

Reviewers

yihuiliao

ktabors

Assignees

No one assigned

Labels

needs testing

Milestone

No milestone