Skip to content
This repository was archived by the owner on Jan 12, 2024. It is now read-only.

Conversation

@cgranade
Copy link
Contributor

This PR takes the action described in e72b1e9 and deprecates Zip for Zipped, and ExcludeforExcluding`. As per that discussion, we should also consider how to help users discover new names.

@cgranade cgranade requested review from guenp and msoeken September 23, 2020 19:43
Chris Granade and others added 2 commits September 23, 2020 13:08
@cgranade cgranade requested a review from guenp September 23, 2020 21:08
@cgranade cgranade added the automerge Pull request is ready to be automatically merged, pending checks and reviews. label Sep 23, 2020
@github-actions github-actions bot merged commit f003fcf into feature/arrays Sep 23, 2020
@github-actions github-actions bot deleted the cgranade/deprecate-zip branch September 23, 2020 21:28
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge Pull request is ready to be automatically merged, pending checks and reviews.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants