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)
commit637245958f44fe9f2e45eb80eb68a627c34ab638
treebbde46ac89f2955f02572b6e64a5bd1286b8bc6b
parenta963621eb0938a991c417ec75cbfe85bee684fdd
parent28eb88d9885810018cb79421ca7ce0462fd61df2
Merge pull request #588 from khabinov/stream-dirty-followups

Some followups and renamings