Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

New version: Dierckx v0.5.1 #25458

Merged
merged 1 commit into from
Nov 28, 2020
Merged

New version: Dierckx v0.5.1 #25458

merged 1 commit into from
Nov 28, 2020

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator
New version: Dierckx v0.5.1
acca58e 
UUID: 39dd38d3-220a-591b-8e3c-4c3a8c710a94
Repo: https://github.com/kbarbary/Dierckx.jl.git
Tree: 5fefbe52e9a6e55b8f87cb89352d469bd3a3a090

Registrator tree SHA: e934b8c55381f28735124f23e8f7e96d09b20416
@JuliaRegistrator JuliaRegistrator mentioned this pull request Nov 28, 2020
Open
@github-actions
Copy link
Contributor

Your new version pull request met all of the guidelines for auto-merging and is scheduled to be merged in the next round.

If you want to prevent this pull request from being auto-merged, simply leave a comment. If you want to post a comment without blocking auto-merging, you must include the text [noblock] in your comment.

@JuliaTagBot JuliaTagBot merged commit 9237004 into master Nov 28, 2020
@JuliaTagBot JuliaTagBot deleted the registrator/dierckx/39dd38d3/v0.5.1 branch November 28, 2020 18:23
@JuliaTagBot JuliaTagBot mentioned this pull request Nov 28, 2020
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
patch release
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@JuliaRegistrator @JuliaTagBot