Skip to content

Conversation

danicheg
Copy link
Member

No description provided.

@danicheg danicheg added the behind-the-scenes Appreciated, but not user-facing label Apr 18, 2022
@mergify mergify bot added series/0.23 PRs targeting 0.23.x module:core labels Apr 18, 2022
@rossabaker rossabaker merged commit 649f06a into http4s:series/0.23 Apr 18, 2022
@danicheg danicheg deleted the merge-series/0.22-into-series/0.23 branch April 18, 2022 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
behind-the-scenes Appreciated, but not user-facing module:core series/0.23 PRs targeting 0.23.x
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants