tree be8a8a4773c15bc7b7fcffcad05c079a93bff8fb
parent 007c45b83b58c409899a6937485b8748314e8bbc
author kmeurer <kmeurer@palantir.com> 1534361748 +0100
committer kmeurer <kmeurer@palantir.com> 1534361748 +0100

Further streamline flush semantics.