merge revision(s) 989e8ad322afdfa3aa06e74b89fc42aef42895d0:

	Remove debug print [ci skip]


git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/branches/ruby_2_5@67790 b2dd03c8-39d4-4d8f-98ff-823fe69b080e

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