Please merge tags fedora13 and fedora-13.

Only a small number of questions are tagged with either of these and they clearly point to the same release of fedora.