Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pr 388 redux #979

Merged
merged 6 commits into from
Mar 23, 2020
Merged

Pr 388 redux #979

merged 6 commits into from
Mar 23, 2020

Conversation

nicholascar
Copy link
Member

@nicholascar nicholascar commented Mar 19, 2020 •
edited by white-gecko
Loading

PR #388 redone in a new PR since the original repo's gone away.

@nicholascar nicholascar added this to the rdflib 5.0.0 milestone Mar 19, 2020
@coveralls
Copy link

coveralls commented Mar 19, 2020 •
edited
Loading

Coverage Status

Coverage decreased (-0.1%) to 75.757% when pulling 01ec9c9 on nicholascar:pr_388_redux into 0ac9c7f on RDFLib:master.

@nicholascar nicholascar added the enhancement New feature or request label Mar 19, 2020
@nicholascar nicholascar mentioned this pull request Mar 19, 2020
Closed
@nicholascar nicholascar merged commit 31fb707 into RDFLib:master Mar 23, 2020
@nicholascar nicholascar deleted the pr_388_redux branch March 23, 2020 01:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ashleysommer ashleysommer Awaiting requested review from ashleysommer

@white-gecko white-gecko Awaiting requested review from white-gecko

Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
rdflib 5.0.0
Development

Successfully merging this pull request may close these issues.
2 participants
@nicholascar @coveralls