Closed G07cha closed 2 years ago
GitHub filters out dot (.) characters from header ids
@G07cha Can you merge in the latest so we can merge this PR? Thank you.
@nd4p90x updated
GitHub filters out dot (.) characters from header ids