Update main.whiley #8

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

Closed

jakezweifler wants to merge 1 commit into main from jakezweifler-patch-2

Collaborator

jakezweifler commented Sep 1, 2022

This should be better than patch-1


          Update main.whiley

6ab83fe

Member

k4rtik commented Sep 1, 2022 •

edited

Loading

We should close this PR after sending the suggested fixes to the previous PR #6

k4rtik assigned jakezweifler

Member

k4rtik commented Sep 27, 2022

Closing it as the resolution is to merge PR #6

k4rtik closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet