search

jayduhon / inferno-os

Automatically exported from code.google.com/p/inferno-os
2 stars 0 forks source link

a few typo's & small documentation inconsistencies #248

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
the attached patch should say it all.

Original issue reported on code.google.com by mechiel@ueber.net on 23 Feb 2011 at 1:35

Attachments:

GoogleCodeExporter commented 9 years ago 
committed changeset 489:13580accc5cd
pushing to https://Charles.Forsyth:***@inferno-os.googlecode.com/hg

devpointer(2) wasn't quite right for the interface (revised long ago): reader 
must be spawned by the caller.

Original comment by Charles....@gmail.com on 24 Feb 2011 at 11:53