On Fri, 2017-02-03 at 16:28 +0100, Peter Krempa wrote: > Pushed as trivial. Woops, thanks for cleaning up after me :) Then again, every single time this happens I get more and more convinced that storing generated content in our git repository is just wrong. -- Andrea Bolognani / Red Hat / Virtualization