On Fri, Oct 10, 2014 at 08:05:20PM +0200, Christoph Anton Mitterer wrote: > While this is in now for a while and it's probably too late... > > Isn't DebianBanner somehow a confusing name? Especially since there is > the Banner directive? > > Maybe DebianReportExtraversion would have been better?
I think it is indeed far too late to change this, sorry. -- Colin Watson [[email protected]] -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

