Skip to content

Bug fix: Decimal point in heading#12

Merged
awdev1 merged 2 commits into
mainfrom
bug-fix
Oct 8, 2024
Merged

Bug fix: Decimal point in heading#12
awdev1 merged 2 commits into
mainfrom
bug-fix

Conversation

@awdev1

@awdev1 awdev1 commented Oct 8, 2024

Copy link
Copy Markdown
Collaborator

Fixing bug from #10 where there was a decimal point for heading while using permanent line feature

@awdev1
awdev1 merged commit 92dde43 into main Oct 8, 2024
@awdev1

awdev1 commented Oct 8, 2024

Copy link
Copy Markdown
Collaborator Author

Approved myself as requested by myself

@awdev1
awdev1 deleted the bug-fix branch October 8, 2024 16:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant