version 2.12.2 --------------- * Fixed bug #319343: file-roller won't let me delete files from an archive which contain a dollar sign ($) * Added 7zip mime type to the desktop file.