Skip to content

Close streaming output channels#43

Merged
daniel-nichter merged 2 commits into
masterfrom
close-streaming-chans
Jan 26, 2020
Merged

Close streaming output channels#43
daniel-nichter merged 2 commits into
masterfrom
close-streaming-chans

Conversation

@daniel-nichter

Copy link
Copy Markdown
Member

@coveralls

coveralls commented Jan 26, 2020

Copy link
Copy Markdown

Coverage Status

Coverage decreased (-1.3%) to 98.684% when pulling fac9413 on close-streaming-chans into 1e96b7e on master.

@daniel-nichter daniel-nichter merged commit 8e0a8d7 into master Jan 26, 2020
@daniel-nichter daniel-nichter deleted the close-streaming-chans branch October 11, 2021 16:05
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