From 90a5520170c321d73d92bd9ef0fe274fccc3596f Mon Sep 17 00:00:00 2001 From: Maxim Sobolev Date: Mon, 18 Feb 2002 16:22:23 +0000 Subject: [PATCH] Fix typo. Approved by: phk --- share/doc/papers/devfs/paper.me | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/share/doc/papers/devfs/paper.me b/share/doc/papers/devfs/paper.me index 34ffd1712e7..9b775e938b9 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,