Retired package by mistake - undo?

[Jason L Tibbitts III]

>>>>> "GD" == Gilboa Davara <gilboad at gmail.com> writes:

GD> Hello all, While the click-frenzy required to take ownership over
GD> spring and its sub packages I mistakably retired spring-maps-default
GD> / devel and spring-install / devel. I tried to unretire them both,
GD> but failed.

You've found one of the worst ways to reach an admin, of course, but I
happened to notice your message.

I unretired spring-maps-default.  I can find no packages named
spring-maps-devel, spring-install or spring-devel in pkgdb.

 - J<