Merge pull request #588 from khabinov/stream-dirty-followups
authorYann Collet <Cyan4973@users.noreply.github.com>
Tue, 9 Oct 2018 20:14:00 +0000 (13:14 -0700)
committerGitHub <noreply@github.com>
Tue, 9 Oct 2018 20:14:00 +0000 (13:14 -0700)
Some followups and renamings


Trivial merge