Skip to content

Conversation

@lihaoyi
Copy link
Member

@lihaoyi lihaoyi commented Oct 12, 2024

Pulls in some changes from #3369 to try and reduce the size of that diff and simplify future backports

@lihaoyi lihaoyi marked this pull request as ready for review October 12, 2024 02:42
@lihaoyi
Copy link
Member Author

lihaoyi commented Oct 12, 2024

CC @bishabosha. For the upstream PR #3369, not sure whether you want to keep rebasing it, or whether just start merging in latest main (which might be less work?). I expect to follow this PR up with a few more PRs cherry picking the source/bin-compatible versions of that PR into main, so may be a hassle to shuffle each of those updates through a long rebase process

@lihaoyi lihaoyi merged commit 7da0265 into com-lihaoyi:main Oct 12, 2024
24 checks passed
@lefou lefou added this to the 0.12.0 milestone Oct 12, 2024
@bishabosha
Copy link
Contributor

I squashed a lot of commits in #3369 so that should make it simpler

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.

3 participants