Skip to content

Remove contrib-list.php#5851

Merged
danielbachhuber merged 2 commits intomainfrom
remove-contrib-list-util
Nov 1, 2023
Merged

Remove contrib-list.php#5851
danielbachhuber merged 2 commits intomainfrom
remove-contrib-list-util

Conversation

@swissspidy
Copy link
Member

@swissspidy swissspidy requested a review from a team as a code owner October 27, 2023 12:17
@danielbachhuber danielbachhuber added this to the 2.10.0 milestone Nov 1, 2023
@danielbachhuber danielbachhuber merged commit 10e58af into main Nov 1, 2023
@danielbachhuber danielbachhuber deleted the remove-contrib-list-util branch November 1, 2023 22:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants