Skip to content

Update main.whiley#8

Closed
jakezweifler wants to merge 1 commit into
mainfrom
jakezweifler-patch-2
Closed

Update main.whiley#8
jakezweifler wants to merge 1 commit into
mainfrom
jakezweifler-patch-2

Conversation

@jakezweifler

Copy link
Copy Markdown
Collaborator

This should be better than patch-1

@k4rtik

k4rtik commented Sep 1, 2022

Copy link
Copy Markdown
Member

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

@k4rtik

k4rtik commented Sep 27, 2022

Copy link
Copy Markdown
Member

Closing it as the resolution is to merge PR #6

@k4rtik k4rtik closed this Sep 27, 2022
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