-
Paul Eggert authored
The old 0333 dates back to before we called setuid, so it was needed back then to ensure user-readability, but 0377 should suffice now.
9e3edd30
The old 0333 dates back to before we called setuid, so it was needed back then to ensure user-readability, but 0377 should suffice now.