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

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

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

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 system administrator