Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make our implementation of attributes compatible with jgm/pandoc #297

Conversation

Witiko
Copy link
Owner

@Witiko Witiko commented Apr 26, 2023

Closes #279.

@Witiko Witiko added bug lua Related to the Lua interface and implementation syntax extension Related to syntax extensions and dialects of markdown labels Apr 26, 2023
@Witiko Witiko added this to the 2.23.0 milestone Apr 26, 2023
@Witiko Witiko force-pushed the fix/make-our-implementation-of-attributes-compatible-with-jgm-pandoc branch from b40d145 to 9e571fc Compare April 26, 2023 11:37
@Witiko Witiko force-pushed the fix/make-our-implementation-of-attributes-compatible-with-jgm-pandoc branch from 7c75783 to 9e571fc Compare April 26, 2023 11:54
@Witiko Witiko marked this pull request as ready for review April 26, 2023 12:27
@Witiko Witiko added the automerge This pull request will be automatically merged after continuous integration has succeeded label Apr 26, 2023
@github-actions github-actions bot merged commit 07d0e67 into main Apr 26, 2023
@Witiko Witiko deleted the fix/make-our-implementation-of-attributes-compatible-with-jgm-pandoc branch April 26, 2023 18:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
automerge This pull request will be automatically merged after continuous integration has succeeded bug lua Related to the Lua interface and implementation syntax extension Related to syntax extensions and dialects of markdown
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make our implementation of attributes compatible with jgm/pandoc
1 participant