Hi,
Am 19.12.18 um 15:20 schrieb Miro Hrončok:
This should all be gone after I mass retire on Monday.
If the package is already retired but not known to be, retiring it
again will make sure it is retired correctly.
it would be great to verify this. In the past I spotted some packages
like these that did not get a branch on PDC and therefore could not
properly be retired in PDC as well.
Kind regards
Till
_______________________________________________
devel mailing list -- devel@lists.fedoraproject.org
To unsubscribe send an email to devel-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/devel@lists.fedoraproject.org
