summaryrefslogtreecommitdiffstats
path: root/share/doc/papers/devfs
diff options
context:
space:
mode:
Diffstat (limited to 'share/doc/papers/devfs')
-rw-r--r--share/doc/papers/devfs/paper.me2
1 files changed, 1 insertions, 1 deletions
diff --git a/share/doc/papers/devfs/paper.me b/share/doc/papers/devfs/paper.me
index 34ffd17..9b775e9 100644
--- a/share/doc/papers/devfs/paper.me
+++ b/share/doc/papers/devfs/paper.me
@@ -472,7 +472,7 @@ Unlikely.
And what if we have persistent information about the mode of
device ``/dev/sio0'', but we boot and do not find any sio devices?
Do we keep the information in our device-persistence registry?
-How long do we keep it? If I borrow a a modem card,
+How long do we keep it? If I borrow a modem card,
set the permissions to some non-standard value like 0666,
and then attach some other serial device a year from now - do I
want some old permissions changes to come back and haunt me,
OpenPOWER on IntegriCloud