Completed
Push — master ( 828262...d1f8a2 )
by Andreas
13s queued 10s
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'