Release RocksDB 4.7

Summary: Bump the version and update HISTORY.md

Test Plan: none

Reviewers: yhchiang, sdong, andrewkr

Reviewed By: andrewkr

Subscribers: andrewkr, dhruba

Differential Revision: https://reviews.facebook.net/D56469

DEFAULT_OPTIONS_HISTORY.md

@@ -1,4 +1,5 @@
-## Unreleased
+# RocksDB default options change log
+## 4.7.0 (4/8/2016)
 * options.write_buffer_size changes from 4MB to 64MB
 * options.target_file_size_base changes from 2MB to 64MB
 * options.max_bytes_for_level_base changes from 10MB to 256MB

HISTORY.md

@@ -1,5 +1,5 @@
 # Rocksdb Change Log
-## Unreleased
+## 4.7.0 (4/8/2016)
 ### Public API Change
 * Change some default options. Now default options will optimize for server-workloads. Also enable slowdown and full stop triggers for pending compaction bytes. These changes may cause sub-optimal performance or significant increase of resource usage. To avoid these risks, users can open existing RocksDB with options extracted from RocksDB option files. See https://github.com/facebook/rocksdb/wiki/RocksDB-Options-File for how to use RocksDB option files. Or you can call Options.OldDefaults() to recover old defaults. DEFAULT_OPTIONS_HISTORY.md will track change history of default options.
 

include/rocksdb/version.h

@@ -5,7 +5,7 @@
 #pragma once
 
 #define ROCKSDB_MAJOR 4
-#define ROCKSDB_MINOR 6
+#define ROCKSDB_MINOR 7
 #define ROCKSDB_PATCH 0
 
 // Do not use these. We made the mistake of declaring macros starting with