Skip to content

Chore/pc4#89

Merged
facelessuser merged 4 commits into
masterfrom
chore/pc4
Sep 5, 2021
Merged

Chore/pc4#89
facelessuser merged 4 commits into
masterfrom
chore/pc4

Conversation

@facelessuser

Copy link
Copy Markdown
Owner

No description provided.

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: export-html Related to HTML exporting. C: infrastructure Related to project infrastructure. C: scheme-handling Related to scheme handling. C: source Related to source code. C: tests Related to testing. labels Sep 5, 2021
@facelessuser

Copy link
Copy Markdown
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 5, 2021
@facelessuser facelessuser merged commit 56763e9 into master Sep 5, 2021
@facelessuser facelessuser deleted the chore/pc4 branch September 5, 2021 22:57
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: export-html Related to HTML exporting. C: infrastructure Related to project infrastructure. C: scheme-handling Related to scheme handling. C: source Related to source code. C: tests Related to testing. S: approved The pull request is ready to be merged.

2 participants