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

Add an infix shorthand for Tuple.{Append, Concat} #21288

Merged
merged 2 commits into from
Nov 11, 2024
Merged

Add an infix shorthand for Tuple.{Append, Concat} #21288

merged 2 commits into from
Nov 11, 2024

Conversation

EugeneFlesselle
Copy link
Contributor

Addressing #19175

Again, this should probably be discussed, and decided whether or not to merge, by the core team.

@EugeneFlesselle EugeneFlesselle mentioned this pull request Jul 29, 2024
Closed
@EugeneFlesselle EugeneFlesselle requested a review from sjrd November 6, 2024 15:53
@EugeneFlesselle EugeneFlesselle merged commit d78516a into scala:main Nov 11, 2024
29 checks passed
@EugeneFlesselle EugeneFlesselle deleted the tuples/concat&append branch November 11, 2024 08:53
@WojciechMazur WojciechMazur added the backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. label Nov 11, 2024
@WojciechMazur WojciechMazur added this to the 3.6.2 milestone Nov 11, 2024
@tgodzik tgodzik added the release-notes Should be mentioned in the release notes label Nov 18, 2024
@WojciechMazur WojciechMazur mentioned this pull request Nov 18, 2024
Merged
@WojciechMazur WojciechMazur added backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" and removed backport:nominated If we agree to backport this PR, replace this tag with "backport:accepted", otherwise delete it. labels Nov 18, 2024
WojciechMazur added a commit that referenced this pull request Nov 18, 2024
@WojciechMazur
Backport "Add an infix shorthand for Tuple.{Append, Concat}" to 3.6 (…
f0a2361 
…#21962)

Backports #21288 to the 3.6.2.

PR submitted by the release tooling.
[skip ci]
@WojciechMazur WojciechMazur added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Nov 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@sjrd sjrd sjrd approved these changes

Assignees
No one assigned
Labels
backport:done This PR was successfully backported. release-notes Should be mentioned in the release notes
Projects
None yet
Milestone
3.6.2
Development

Successfully merging this pull request may close these issues.
4 participants
@EugeneFlesselle @sjrd @tgodzik @WojciechMazur