Skip to content

Conversation

ueno
Copy link
Member

@ueno ueno commented Dec 15, 2016

No description provided.

@ueno ueno added the bug label Dec 15, 2016
@ueno ueno added this to the 0.23.3 milestone Dec 15, 2016
@ueno ueno merged commit 4442748 into p11-glue:master Dec 15, 2016
@ueno ueno deleted the wip/dueno/fix-typo branch January 24, 2017 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant