Completed
Pull Request — development (#771)
by Nick
06:14 queued 01:03
created

Changes

1 issue (informational) was introduced.
11 issues were fixed.
8.15
▶   ± 0
Head
Nick Lubisch  
Merge f634adaf10c9bf891fe1dbd5697586d6974875f3 into 3256d6fa9a8e2e27d2ed1512be7895b66fb01996
3 more commits
Base
Thomas Eiling  
Merge pull request #770 from nlubisch/patch-1