Skip to content

Add {Router,Execution}Response::map_stream helper#1525

Merged
SimonSapin merged 1 commit intomainfrom
simon/map-stream
Aug 17, 2022
Merged

Add {Router,Execution}Response::map_stream helper#1525
SimonSapin merged 1 commit intomainfrom
simon/map-stream

Conversation

@SimonSapin
Copy link
Contributor

Follows up on #1487 (comment)
Related to #1219

@SimonSapin SimonSapin self-assigned this Aug 17, 2022
@github-actions
Copy link
Contributor

@SimonSapin your pull request is missing a changelog!

@SimonSapin SimonSapin merged commit b4ebe6b into main Aug 17, 2022
@SimonSapin SimonSapin deleted the simon/map-stream branch August 17, 2022 17:08
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