Jason Tibbitts 3e1c769439 Remove the fixups for "f12" and "f13". ... We no longer accept F-12 or F-13 branches so remove the conversions from "f12" and "f13" to "F-12" and "F-13", respectively.		2011-05-25 11:19:15 -05:00
..
process-git-requests	Remove the fixups for "f12" and "f13".	2011-05-25 11:19:15 -05:00