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: WebIO v0.8.6 #1473

Merged
merged 1 commit into from
Jun 28, 2019
Merged

New version: WebIO v0.8.6 #1473

merged 1 commit into from
Jun 28, 2019

Conversation

JuliaRegistrator
Copy link
Contributor

@JuliaRegistrator
New version: WebIO v0.8.6
c1063d6 
UUID: 0f1e034-ec1d-5b48-a673-e5cf874b6c29
Repo: https://github.com/JuliaGizmos/WebIO.jl.git
Tree: 458ebbd85da851b01bed01e6321b0d8f4c7044b0

Registrator tree SHA: unknown
JuliaRegistrator referenced this pull request in JuliaGizmos/WebIO.jl Jun 20, 2019
@twavv
Update Project.toml
0f74ce4 
@JuliaRegistrator register
@twavv
Copy link
Contributor

twavv commented Jun 20, 2019

This should be merged around the same time as the next version of Blink. Neither Blink nor WebIO will break if an older version of one of the packages exist, they'll simply get a message to the tune of Please upgrade (Blink|WebIO) for a smoother integration with (WebIO|Blink) but everything should continue to work.

@twavv twavv mentioned this pull request Jun 20, 2019
Merged
1 task
@StefanKarpinski
Copy link
Contributor

Can/should that be handled with Compat bounds?

@twavv
Copy link
Contributor

twavv commented Jun 20, 2019

I didn't want to do that because there are still some occasional people who are using older versions of WebIO and strictly speaking they're not incompatible (it's kind of a deprecation period).

@fredrikekre
Copy link
Member

Please comment here when its ready. Next time it would maybe be better to submit the PRs together.

@twavv
Copy link
Contributor

twavv commented Jun 27, 2019

@fredrikekre Yes, sorry, that was the plan (but alas life gets in the way of plans).

Can you merge this now (without waiting for Blink)?

@twavv twavv mentioned this pull request Jun 27, 2019
Merged
@fredrikekre fredrikekre merged commit 66e1c7e into master Jun 28, 2019
@delete-merged-branch delete-merged-branch bot deleted the register/WebIO/v0.8.6 branch June 28, 2019 06:51
@julia-tagbot
Copy link

julia-tagbot bot commented Jun 28, 2019

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

@NHDaly NHDaly mentioned this pull request Jul 2, 2019
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
waiting for author
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@JuliaRegistrator @twavv @StefanKarpinski @fredrikekre