becker33 013cfafe57 Merge pull request #1229 from suraia/fix-preferred-providers ... Fix preferred providers.		2016-07-18 16:47:08 -07:00
..
spack	Merge pull request #1229 from suraia/fix-preferred-providers	2016-07-18 16:47:08 -07:00