Merge pull request #1986 from afabri/patch-2

Kernel_23:  fix typesetting in the manual.
This commit is contained in:
Laurent Rineau 2017-03-22 20:36:34 +01:00 committed by GitHub
commit a9625f42ca
1 changed files with 3 additions and 3 deletions