Re: [PATCH] DoD banner check (UNCLASSIFIED)