Commit graph

2 commits

Author SHA1 Message Date
Arne Döring
a5ecbf823f lots of small changes 2018-12-11 21:23:22 +01:00
Araq
bacf08e65d merged #8624 manually; fixes #8442; closes #8575 2018-08-31 11:19:42 +02:00