Completed
Pull Request — master (#1070)
by
unknown
01:29
created

Changes

7.77
▶   ± 0
Head
Nicolas Grekas  
Merge 8a6740d11bbba9eaf47767e364260242201ec68e into d1f8a28fb45b6ff0b59f88df393575a4f89c3b66
1 more commit
Base
Andreas Braun  
Merge pull request #1063 from garak/doc-fix-kernel