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