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.

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

chore: bump sipi to rc.7 (DSP-733) #1721

Merged
merged 3 commits into from Sep 30, 2020
Merged

Conversation

subotic
Copy link
Collaborator

@subotic subotic commented Sep 29, 2020

resolves DSP-733

@subotic subotic self-assigned this Sep 29, 2020
@subotic subotic added the chore maintenance and build tasks label Sep 29, 2020
Copy link

@benjamingeer benjamingeer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you! Next time I'll try to do this by myself. :)

@subotic
Copy link
Collaborator Author

subotic commented Sep 30, 2020

Thanks for the review. You will get a chance quite soon :-)

@subotic subotic merged commit b635495 into develop Sep 30, 2020
@subotic subotic deleted the wip/DSP-733-bump-sipi-rc-7 branch September 30, 2020 11:23
@subotic subotic added dependencies Pull requests that update a dependency file (with fuseki, sipi, etc.) and removed chore maintenance and build tasks labels Nov 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file (with fuseki, sipi, etc.)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants