Completed
Push — development ( 5c36b2...3256d6 )
by Thomas
04:43
created

Changes

Good job, 7 issues were fixed.
8.15
▶   ± 0
Head
Thomas Eiling  
remove ws_tan
1 more commit
Base
Thomas Eiling  
Merge pull request #770 from nlubisch/patch-1