Revision 110c031ee425ed87471719b0a113707c3299614b

Committed on 10/07/2013 3:40 am by Björn Dieding <[email protected]> [GitHub Diff]

- Exclude option for hostnames