theforeman/foreman_discovery — pull request #37 by abenari (2013-10-21 10:44:04+00:00)
Title: foreman top menu changes.

Do not merge before the corresponding foreman PR get merged!