summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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