Processed: Re: Bug#392589: problematic permissions for /usr/share/dejagnu

2006-10-12 Thread Debian Bug Tracking System
Processing commands for [EMAIL PROTECTED]: > severity 392589 important Bug#392589: problematic permissions for /usr/share/dejagnu Severity set to `important' from `serious' > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking syst

Bug#392589: problematic permissions for /usr/share/dejagnu

2006-10-12 Thread Sam Hocevar (Debian packages)
Package: dejagnu Version: 1.4.4.cvs20060709-2.2 Severity: serious Justification: Policy 10.9 /usr/share/dejagnu is shipped with permissions 655 (drw-r-xr-x) instead of 755 (drwxr-xr-x). This is problematic for instance when /usr/share is NFS-mounted with the root user mapped to nobody, making i