Unofficial mirror of: https://wordpress.org/plugins/wp-document-revisions -- no pull requests, please.