Subject: Re: kbd_cmd: input char 47 lost
To: None <,>
From: Chris G. Demetriou <>
List: current-users
Date: 06/24/1994 02:41:06
>Anyone else see this?  Any clue what it means and if I should care?
>(The keyboard seems to work fine.)

I've seen it on some of my machines, esp. when the BIOS doesn't think
there's a keyboard attached...  It _doesn't_ happen on all machines,
and i dunno why it _Does_ happen (charles?  ideas?), but, as you noted,
it doesn't seem to hurt.