[edit] Deletion of this stub category?

Anyone know the result of the proposal for deletion? I can't find it on the Stub Types for Deletion page nor on its Talk page, although I did find a mention on the Talk page, here, of the fest-stub category being deleted. Does anyone know what the deal is? Is it possible that fest-stub was merged with festival-stub and then deleted, but that festival-stub "inherited" the "Stub type for deletion" flag? (I'm posting this comment also on Wikipedia:Stub_types_for_deletion.) Bookgrrl 00:50, 24 July 2006 (UTC)

Fixed (see note to today's change on history page)