Skip to content

Conversation

@JanTvrdik
Copy link
Member

No description provided.

@JanTvrdik JanTvrdik requested a review from janedbal February 15, 2024 12:30
@CrazyMuffin
Copy link
Member

✅ LGTM

@JanTvrdik JanTvrdik force-pushed the non-empty-list branch 2 times, most recently from e48e7ac to 6ce34c9 Compare February 15, 2024 20:27
@JanTvrdik JanTvrdik merged commit 4eb5447 into master Feb 21, 2024
@JanTvrdik JanTvrdik deleted the non-empty-list branch February 21, 2024 14:13
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.

4 participants