OK, I found spring-installer and unretired it as well. You should log into pkgdb and claim both packages as they're currently orphaned.
- J< -- devel mailing list devel@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/devel
- Retired package by mistake - undo? Gilboa Davara
- Re: Retired package by mistake - undo? Jason L Tibbitts III
- Re: Retired package by mistake - undo? Jason L Tibbitts III
- Re: Retired package by mistake - undo? Gilboa Davara
- Re: Retired package by mistake - und... Toshio Kuratomi
- Re: Retired package by mistake ... Gilboa Davara
