From d6bac17bff1aa6e7cc2418892d6f9a3b2c2685c4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andrzej=20Krzemie=C5=84ski?= Date: Fri, 7 Jul 2017 14:36:45 +0200 Subject: [PATCH] remove redundant flush() from example: `<