diff options
| author | Paul E. McKenney | 2015-08-04 08:42:02 -0700 |
|---|---|---|
| committer | Paul E. McKenney | 2015-08-04 08:42:02 -0700 |
| commit | 3dbe43f6fba9f2a0e46e371733575a45704c22ab (patch) | |
| tree | 0823f8fef30141c0b07fd64e3d7bb46a05e7b009 /init | |
| parent | 8ff4fbfd69a6c7b9598f8c1f2df34f89bac02c1a (diff) | |
| parent | 96d7744e0a5631a1b5fef2a97658150b165f02b6 (diff) | |
| parent | d6a8c6d34222f7d9de4c819fbcfbaebb1e40e8a2 (diff) | |
Merge branches 'doc.2015.07.15a' and 'torture.2015.07.15a' into HEAD
doc.2015.07.15a: Documentation updates.
torture.2015.07.15a: Torture-test updates.