Skip to content

Conversation

@joernhees
Copy link
Member

enhancement of #827

@joernhees joernhees added the enhancement New feature or request label Oct 27, 2018
@joernhees joernhees added this to the rdflib 5.0.0 milestone Oct 27, 2018
@RDFLib RDFLib deleted a comment from coveralls Oct 27, 2018
@joernhees joernhees merged commit a7c7ebe into RDFLib:master Oct 27, 2018
@joernhees joernhees deleted the enh827 branch October 27, 2018 22:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant