Completed
Push — revsizechange ( 1f0ef3...38f253 )
by Gerrit
08:20 queued 04:01
created

No notable changes

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

6.37
▶   ± 0
Head
Gerrit Uitslag  
Merge remote-tracking branch 'origin/revsizechange' into revsizechange
1 more commit
Base
Andreas Gohr  
styled size changes