Completed
Pull Request — master (#305)
by Marc
02:07
created

Changes

8.33
▶   ± 0
Head
Claus Due  
Merge beff3f0a17ec2c67e7de5afaa5a609034dcec184 into fd9180832c92fe8b1cf98ff2dab9e4f5231c1bba
3 more commits
Base
Claus Due  
[TASK] Clean up various redundant code and annotations (#307)