Skip to content

Conversation

@ddbeck
Copy link
Collaborator

@ddbeck ddbeck commented Jun 3, 2024

I broke the build when I merged #1111. This unbreaks it.

@ddbeck ddbeck requested a review from foolip June 3, 2024 18:48
@ddbeck ddbeck mentioned this pull request Jun 4, 2024
@foolip
Copy link
Collaborator

foolip commented Jun 4, 2024

I snuck this into #1110.

@foolip foolip closed this Jun 4, 2024
@ddbeck ddbeck deleted the fix-selectlist branch June 4, 2024 09:24
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.

2 participants