Completed
Push — master ( ae2ec5...767e70 )
by Andreas
07:21 queued 04:28
created

No notable changes

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

5.92
▶   ± 0
Head
Andreas Gohr  
Merge pull request #3432 from splitbrain/semantic-section-elements
1 more commit
Base
Andreas Gohr  
Merge pull request #3442 from gturri/fix3436