Merge pull request #30 from ellerh/implement-flush-file
authorPhil Burk <philburk@mobileer.com>
Mon, 2 Jan 2017 16:28:10 +0000 (08:28 -0800)
committerGitHub <noreply@github.com>
Mon, 2 Jan 2017 16:28:10 +0000 (08:28 -0800)
Implement FLUSH-FILE


Trivial merge