Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

StreamID versus Stream ID #422

Closed
MikeBishop opened this issue Mar 29, 2017 · 3 comments · Fixed by #431
Closed

StreamID versus Stream ID #422

MikeBishop opened this issue Mar 29, 2017 · 3 comments · Fixed by #431
Labels
editorial An issue that does not affect the design of the protocol; does not require consensus.

Comments

@MikeBishop
Copy link
Contributor

I'm in favor of the space, but we should at least be consistent.
@MikeBishop MikeBishop added the editorial An issue that does not affect the design of the protocol; does not require consensus. label Mar 29, 2017
@RyanTheOptimist
Copy link
Contributor

RyanTheOptimist commented Mar 29, 2017 via email

@martinthomson
Copy link
Member

or "stream identifier"

@ianswett
Copy link
Contributor

+1 to Stream ID

@kmindi kmindi mentioned this issue Apr 5, 2017
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
editorial An issue that does not affect the design of the protocol; does not require consensus.
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Change StreamID to Stream ID
4 participants
@martinthomson @MikeBishop @RyanTheOptimist @ianswett