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

New version: MultiFloats v0.2.0 #4834

Merged
1 commit merged into from
Oct 29, 2019
Merged

New version: MultiFloats v0.2.0 #4834

1 commit merged into from
Oct 29, 2019

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator
New version: MultiFloats v0.2.0
3789271 
UUID: bdf0d083-296b-4888-a5b6-7498122e68a5
Repo: https://github.com/dzhang314/MultiFloats.jl.git
Tree: 08a8cdca841aaa69c935da71a9cf85442e13b386

Registrator tree SHA: f50e50c1d2a1b9694b1d5749fdb25fef2ca4c291
JuliaRegistrator referenced this pull request in dzhang314/MultiFloats.jl Oct 29, 2019
@dzhang314
Add Printf support as suggested by Greg Plowman
d7e5bfe
@ghost
Copy link

ghost commented Oct 29, 2019

Your new version pull request met all of the guidelines for automatic merging.

I will automatically merge this pull request during the next cron job.

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.)

On a separate note, I see that you are registering a release with a version number of the form v0.X.Y.

Does your package have a stable public API? If so, then it's time for you to register version v1.0.0 of your package. (This is not a requirement. It's just a recommendation.)

If your package does not yet have a stable public API, then of course you are not yet ready to release version v1.0.0.

[noblock]

@ghost ghost merged commit 7d87f7f into master Oct 29, 2019
@ghost ghost deleted the registrator/multifloats/bdf0d083/v0.2.0 branch October 29, 2019 05:02
@julia-tagbot
Copy link

julia-tagbot bot commented Oct 29, 2019

I've created release v0.2.0, here it is.

This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@JuliaRegistrator