summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorusa <usa@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2019-08-28 04:57:58 +0000
committerusa <usa@b2dd03c8-39d4-4d8f-98ff-823fe69b080e>2019-08-28 04:57:58 +0000
commit73eb2984d513345945f1f337f7e6e0e9d589c8a7 (patch)
treeed01eec9802e3696dedf6ec3ec0e94769f90e479
parent24316a78f3eae22317369fa15830f6d40915c2dc (diff)
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
-rw-r--r--lib/rdoc/generator/template/darkfish/js/darkfish.js1
-rw-r--r--version.h4
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 089813f..111bbf8 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 84d6801..cdb1d19 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