6 Jan
2020
6 Jan
'20
10:45 a.m.
On Tue, 2019-12-17 at 11:21 -0500, Cole Robinson wrote:
But the other ci/ scripts are listed in Makefile.am EXTRA_DIST, so adjust that before pushing unless it was deliberate
Nah, it was just an oversight. Good catch! I've fixed it before pushing. -- Andrea Bolognani / Red Hat / Virtualization