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

Jump to bottom

fix(Language): rename `any` to `all` #107

Merged

favonia merged 1 commit into main from use-all

May 21, 2023

Collaborator

favonia commented May 21, 2023

all is much better than any


          fix(Language): rename any to all

086004f

favonia force-pushed the use-all branch from b8232c9 to 086004f Compare

May 21, 2023 10:47

favonia merged commit 313f616 into main

favonia deleted the use-all branch

May 21, 2023 11:05

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet