Skip to content

Conversation

@snicoll
Copy link
Member

@snicoll snicoll commented Feb 2, 2024

I am not 100% sure what we should do for List.of so let me know if you prefer to not have that.

Copy link
Member

@wilkinsona wilkinsona left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, @snicoll. List.of is all good. Our intention is that it's used "everywhere" other than for creating an empty list.

@scottfrederick scottfrederick added the type: task A general task label Feb 2, 2024
@scottfrederick scottfrederick added this to the 3.1.9 milestone Feb 2, 2024
@scottfrederick scottfrederick mentioned this pull request Feb 2, 2024
scottfrederick pushed a commit that referenced this pull request Feb 2, 2024
@snicoll snicoll deleted the polish-20240202 branch February 3, 2024 10:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: task A general task

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants