Completed
Push — master ( 7ff87b...d288e0 )
by Gerrit
04:59
created

No notable changes

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

6.27
▶   ± 0
Head
Gerrit Uitslag  
Merge pull request #2222 from chang-zhao/patch-4
1 more commit
Base
Gerrit Uitslag  
Merge pull request #2223 from chang-zhao/patch-5