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)
commitb844ca924d129072e11f7e4c18918dd388a37e8c
treecf456c40f5b6b5956abdc4b5db84aa4b42ba08f2
parent5ea4ad47a74e042f8728f48a0635f5f291519b29
parent60ef4f8b863d892019a61978a63119dc1ebd852f
Merge "Better emptying of trash bin"