On Fri, Nov 13, 2015 at 08:20:53AM +0100, Petr Cech wrote:
I reviewed the code. All remarks were addressed.
CI tests passed:
I changed the wording of the commit message a bit (we added an option,
not a command) and pushed the patch to master: