Merge branch 'gp.2013.09.25a' into HEAD
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 15 Oct 2013 19:47:04 +0000 (12:47 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 15 Oct 2013 19:47:04 +0000 (12:47 -0700)
gp.2013.09.25a: Topic branch for grace-period updates.


Trivial merge