Completed
Push — master ( b022a7...72b2c7 )
by Andreas
04:31
created

No notable changes

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

5.59
▶   ± 0
Head
Andreas Gohr  
Merge pull request #2381 from jaller94/tabs-border
1 more commit
Base
Andreas Gohr  
Merge pull request #2494 from splitbrain/pr/2462