Bug#637032: please allow /lib/modules mount points

[Robert Millan <rmh@debian.org>]

2011/8/8 Colin Watson <cjwatson@debian.org>:
> On Sun, Aug 07, 2011 at 10:37:43PM +0000, Robert Millan wrote:
>> check.d/proper_mountpoints prevents placing mount points in a subdirectory
>> of /lib.  At least on GNU/kFreeBSD, using /lib/modules as mount point is not
>> only supported but even mandatory for certain configurations when using ZFS.
>>
>> I traced the addition of "/lib*" to commit 3a083d4f9167b52155aff7b1d2e431da4ea031a1
>> by Colin Watson (CCed).  Assuming the intent was to match all directories in /
>> that begin with "lib" (i.e. /lib{,32,64}), my proposed patch is to list them
>> explicitly.
>
> That was indeed the intent.  Please go ahead and commit your patch.

Committed.  May I proceed with upload?

-- 
Robert Millan