Completed
Pull Request — development (#696)
by Thomas
07:17 queued 02:46
created

Changes

3 issues (3 minor) were introduced.
13 new patches (Spacing) are available.
6.76
▶   ± 0
Head
Thomas Eiling  
Merge 13532253c06ca476faa72d88a883ccf7b9c0adc5 into 1a7c5e59d430f2ad70da814b1e7c5743704ab8c2
2 more commits
Base
Thomas Eiling  
Merge pull request #695 from nlubisch/feature/menu