[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: "make dist" fails ... en@boldquote: warning: PO file headder missing
|
From: |
zimoun |
|
Subject: |
Re: "make dist" fails ... en@boldquote: warning: PO file headder missing or invalid |
|
Date: |
Mon, 10 Jan 2022 14:39:30 +0100 |
Hi,
On Sat, 8 Jan 2022 at 01:47, Vagrant Cascadian <vagrant@debian.org> wrote:
> > I've also in the past implored to set up a ci job for "make dist" to
> > make it at least easier to figure out which commits trigger these
> > issues... how can I help move that forward? :)
Mathieu, what does Cuirass need to make that happens?
Cheers,
simon