Skip to content

Add fancylist extension#2455

Merged
facelessuser merged 26 commits intomainfrom
feature/fancylists
Sep 22, 2024
Merged

Add fancylist extension#2455
facelessuser merged 26 commits intomainfrom
feature/fancylists

Conversation

@facelessuser
Copy link
Owner

Resolves #2418

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: infrastructure Related to project infrastructure. C: source Related to source code. labels Sep 17, 2024
@gir-bot gir-bot added the C: tests Related to testing. label Sep 18, 2024
@facelessuser facelessuser marked this pull request as ready for review September 20, 2024 18:40
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Sep 22, 2024
@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. and removed S: approved The pull request is ready to be merged. labels Sep 22, 2024
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Sep 22, 2024
@facelessuser facelessuser merged commit e8ce5f6 into main Sep 22, 2024
@facelessuser facelessuser deleted the feature/fancylists branch September 22, 2024 02:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: docs Related to documentation. C: infrastructure Related to project infrastructure. C: source Related to source code. C: tests Related to testing. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support Pandoc fancy-lists

2 participants