Hi, I pushed a html401-dtds update to F7 updates-testing assuming that Rawhide would pick it up from there. But it looks like Rawhide pulls only from dist-fc7-updates, not dist-fc7-updates-testing. Is this intentional? https://koji.fedoraproject.org/koji/taginfo?tagID=12