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

New version: DBnomics v0.3.0 #24507

Merged
merged 1 commit into from
Nov 15, 2020
Merged

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator JuliaRegistrator commented Nov 11, 2020

JuliaRegistrator referenced this pull request in s915/DBnomics.jl Nov 11, 2020
@github-actions
Copy link
Contributor

github-actions bot commented Nov 11, 2020

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.

UUID: 748a5540-242a-11e9-3d63-bf3149dae578
Repo: https://github.com/s915/DBnomics.jl.git
Tree: c8f1b21130e25244d7923e30d2c604166ee829f5

Registrator tree SHA: e934b8c55381f28735124f23e8f7e96d09b20416
@JuliaRegistrator JuliaRegistrator force-pushed the registrator/dbnomics/748a5540/v0.3.0 branch from d449434 to f22aeb1 Compare November 15, 2020 18:13
@JuliaTagBot JuliaTagBot merged commit b5af63e into master Nov 15, 2020
@JuliaTagBot JuliaTagBot deleted the registrator/dbnomics/748a5540/v0.3.0 branch November 15, 2020 18:18
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants