Merge "Better emptying of trash bin"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Tue, 17 Jul 2018 10:29:50 +0000 (10:29 +0000)
committerGerrit Code Review <gerrit2@simantics>
Tue, 17 Jul 2018 10:29:50 +0000 (10:29 +0000)

Trivial merge