Merge remote branch 'kumar/merge' into merge

This commit is contained in:
Benjamin Herrenschmidt 2011-04-05 16:20:22 +10:00
commit 83ebb3e344
5 changed files with 38 additions and 27 deletions