Merge branch 'master' of ssh://waterman@scm.millennium.berkeley.edu/project/cs/radlab...
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Sun, 10 Jan 2010 02:08:01 +0000 (18:08 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Sun, 10 Jan 2010 02:08:01 +0000 (18:08 -0800)
1  2 
kern/src/manager.c

Simple merge