2 files changed, 2 insertions, 3 deletions
diff --git a/lib/rdoc/generator/template/darkfish/js/darkfish.js b/lib/rdoc/generator/template/darkfish/js/darkfish.js
index 089813fcde..111bbf8eb9 100644
--- a/lib/rdoc/generator/template/darkfish/js/darkfish.js
+++ b/lib/rdoc/generator/template/darkfish/js/darkfish.js
@@ -72,7 +72,6 @@ function hookSearch() {
   }
 
   search.select = function(result) {
-      console.log(result);
     window.location.href = result.firstChild.firstChild.href;
   }
 
diff --git a/version.h b/version.h
index 84d6801e4b..cdb1d19d10 100644
--- a/version.h
+++ b/version.h
@@ -1,6 +1,6 @@
-#define RUBY_VERSION "2.5.7"
+#define RUBY_VERSION "2.5.6"
 #define RUBY_RELEASE_DATE "2019-08-28"
-#define RUBY_PATCHLEVEL 199
+#define RUBY_PATCHLEVEL 200
 
 #define RUBY_RELEASE_YEAR 2019
 #define RUBY_RELEASE_MONTH 8