Skip to content

Conversation

tld-update-bot
Copy link
Contributor

No description provided.

@cpu cpu merged commit 257d49d into master Dec 25, 2019
@cpu cpu deleted the autopull/master/2019-12-25-16-40-12 branch December 25, 2019 16:56
aaomidi pushed a commit to aaomidi/zlint that referenced this pull request Nov 29, 2022
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.

2 participants