Merge branches 'doc.2013.09.25b' and 'fixes.2013.09.23b' into HEAD

doc.2013.09.25b: Topic branch for documentation updates.
fixes.2013.09.23b: Topic branch for miscellaneous fixes.
This commit is contained in:
Paul E. McKenney 2013-10-15 12:44:33 -07:00
commit 460aebac73
7 changed files with 119 additions and 51 deletions