Commit 4570941e96e3501ec10af622808f0a02e7eea7e1

Thomas de Grivel 2018-05-16T08:22:18

fix stream-flush-output