Skip to content
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

Various fixes #356

Merged
merged 8 commits into from
Aug 1, 2022
Merged

Various fixes #356

merged 8 commits into from
Aug 1, 2022

Conversation

pfitzseb
Copy link
Member

@pfitzseb pfitzseb commented Jul 25, 2022 •
edited
Loading

@davidanthoff
Copy link
Member

@pfitzseb would it make sense to merge this now and then have follow up PRs?

@pfitzseb pfitzseb marked this pull request as ready for review July 31, 2022 13:12
@pfitzseb
Copy link
Member Author

Sure.

@pfitzseb pfitzseb mentioned this pull request Jul 31, 2022
Closed
@pfitzseb pfitzseb changed the title [WIP] Various fixes Various fixes Jul 31, 2022
@pfitzseb pfitzseb merged commit 5759e03 into master Aug 1, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

language server crashing within lint! given hcat input crash on global 'tuple' in let block
2 participants
@pfitzseb @davidanthoff