Skip to content

Branch 0.12#936

Merged
notriddle merged 7 commits intomasterfrom
branch_0.12
Aug 16, 2024
Merged

Branch 0.12#936
notriddle merged 7 commits intomasterfrom
branch_0.12

Conversation

@Martin1887
Copy link
Collaborator

This pull requests mainly adds description lists.

I think it is worthy to launch now a 0.12 release, since the pull request to address the other issue to ease the interface has been closed due to performance reasons.

notriddle and others added 5 commits June 22, 2024 08:37
Implement commonmark-hs compatible definition lists
Rewrite TextMergeWithOffset to work similarly to the original
TextMergeStream. Implement TextMergeStream in terms of this new
implementation (with dummy offsets), so that their behavior is the same.
@notriddle notriddle merged commit 5afe278 into master Aug 16, 2024
@notriddle notriddle deleted the branch_0.12 branch August 16, 2024 19:08
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.

3 participants