mitchellh/vagrant — pull request #2742 by ryansb (2014-01-02 17:11:13+00:00)
Title: Correctly detect fedora 19 and 20

Previously, only Fedora 16-18 would be detected as Fedora. This PR fixes that suck that F16-F20 are all correctly detected.