Comment 1 for bug 387663

Revision history for this message
Kees Cook (kees) wrote :

Thanks for the bug report! As it turns out, /dir/ and /dir have different meanings, so those rules do not seem to be redundant. Please feel free to report any other issues you find.