Update 3.1.12 is compatible with WordPress 3.7.1 and includes the following changes:

• New RemoteSync Service: WebDAV
• Enhanced Search Functions: added dash (-) operator to exclude words, added wildcard (*)
• Fixed user permissions selector for users with @ in login name
• `File Page Permalink with Front Base` defaults to enabled
• Fixed file download permission issue
• Fixed usage of `wp_check_filetype`
• Fixed general permission bug, where user roles were not loaded (added get_role_caps())
• Fixed remote sync error handling
• Fixed typos and update language files