Skip to content

Conversation

piever
Copy link
Collaborator

@piever piever commented Sep 6, 2022

No description provided.

@piever piever merged commit 5c88775 into master Sep 16, 2022
@piever piever deleted the pv/widen branch September 16, 2022 14:55
@mcabbott
Copy link

Is it easy to make a release with this in it?

(No rush if you're half way through something.)

@piever
Copy link
Collaborator Author

piever commented Oct 14, 2022

I was hoping to "clump together breaking changes" and get #215 in before the next breaking release. OTOH, all changes merged so far are very minorly breaking (the only slightly controversial one is #235), so I guess I can probably just tag a patch release now.

@piever
Copy link
Collaborator Author

piever commented Oct 18, 2022

UPDATE: just tagged the new version JuliaRegistries/General#70486

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants