On Tue, Nov 5, 2019 at 4:14 PM Miro Hrončok wrote:
>
> On 05. 11. 19 15:33, Fabio Valentini wrote:
> > Hi everybody,
> >
> > It looks like yesterday, koji stopped blocking and removing retired
> > packages from the f32 tag, or at least, it stopped doing so reliably.
> >
> > The following packages
On 05. 11. 19 15:33, Fabio Valentini wrote:
Hi everybody,
It looks like yesterday, koji stopped blocking and removing retired
packages from the f32 tag, or at least, it stopped doing so reliably.
The following packages have been retired a day ago, but today they are
all still tagged into f32,