#4272: finished with dist-f15-ghc for ghc-7.0.1 rebuilding
#4272: finished with dist-f15-ghc for ghc-7.0.1 rebuilding
----------------------+-----------------------------------------------------
Reporter: petersen | Owner: rel-eng(a)lists.fedoraproject.org
Type: task | Status: new
Milestone: | Component: koji
Keywords: |
----------------------+-----------------------------------------------------
Most of the ghc-7.0.1 rebuilds are completed now
and I have just moved 53 package builds from dist-f15-ghc into dist-f15.
So please turn off dist-f15-ghc now to save on newRepo.
There are still a couple of unneeded builds tagged dist-f15-ghc.
If that is a problem I can quick move/untag them.
Thanks, Jens
--
Ticket URL: <https://fedorahosted.org/rel-eng/ticket/4272>
Fedora Release Engineering <http://fedorahosted.org/rel-eng>
Release Engineering for the Fedora Project