Merge branches 'doc.2013.09.25b' and 'fixes.2013.09.23b' into HEAD
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 15 Oct 2013 19:44:33 +0000 (12:44 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 15 Oct 2013 19:44:33 +0000 (12:44 -0700)
doc.2013.09.25b: Topic branch for documentation updates.
fixes.2013.09.23b: Topic branch for miscellaneous fixes.


Trivial merge