3 Feb
2017
3 Feb
'17
5:38 p.m.
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