On Mon, Sep 01, 2014 at 05:15:22PM +0200, Michal Židek wrote:
The above things can be fixed as separate tickets so I am basically
OK with pushing it as-is and enhancing it later.
OK, pushed to master:
3ce85a5f5264e7118beb6524e120fd8b53a13da4
It would be nice to file what you noticed as tickets or else we'll
forget.