Completed
Pull Request — master (#1063)
by Massimiliano
02:36
created

No notable changes

There were no notable changes in the changeset which was inspected.

7.77
▶   ± 0
Head
Andreas Braun  
Merge pull request #1063 from garak/doc-fix-kernel
1 more commit
Base
Andreas Braun  
Merge branch '1.12.x'