Skip to content

Simplify implementation of rendering prefix headers#1841

Merged
david-perez merged 2 commits intomainfrom
davidpz/simplify-implementation-of-rendering-prefix-headers
Oct 20, 2022
Merged

Simplify implementation of rendering prefix headers#1841
david-perez merged 2 commits intomainfrom
davidpz/simplify-implementation-of-rendering-prefix-headers

Commits

Commits on Oct 11, 2022