Completed
Pull Request — master (#2157)
by Michael
05:41 queued 02:16
created

No notable changes

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

6.28
▶   ± 0
Head
Andreas Gohr  
Merge pull request #2157 from splitbrain/fixDoubleSelected
3 more commits
Base
Andreas Gohr  
Merge pull request #2115 from splitbrain/fixSectionButtonGeneration