From: Hannu Niemistö <hannu.niemisto@semantum.fi>
Date: Tue, 17 Jul 2018 10:29:50 +0000 (+0000)
Subject: Merge "Better emptying of trash bin"
X-Git-Tag: v1.43.0~136^2~443
X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=b844ca924d129072e11f7e4c18918dd388a37e8c;p=simantics%2Fplatform.git

Merge "Better emptying of trash bin"
---

b844ca924d129072e11f7e4c18918dd388a37e8c