Version 10

This release is a minor bugfix for compatibility issues with other file managers when emptying the trash bin.

Since this release is relatively minor, the code name has not changed.