diff options
author | nagachika <nagachika@ruby-lang.org> | 2020-12-31 15:40:30 +0900 |
---|---|---|
committer | nagachika <nagachika@ruby-lang.org> | 2020-12-31 15:40:30 +0900 |
commit | 5cbba4d6005a03914fc47e7a65ae5b6ef76c8e29 (patch) | |
tree | b3ff9d3ffcfd4b024afe750fa17f158a6d89319c | |
parent | 9eff912943a71745087ea4ae892774e33bd2e8ca (diff) |
merge revision(s) 1ca9facab6c85264168b4c0a18c24f489cabcc9f: [Backport #17358]
Add monitor to document files
-rw-r--r-- | ext/.document | 2 | ||||
-rw-r--r-- | version.h | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/ext/.document b/ext/.document index 6a491576a1..354601569b 100644 --- a/ext/.document +++ b/ext/.document @@ -30,6 +30,8 @@ io/wait/wait.c json/generator/generator.c json/lib json/parser/parser.c +monitor/lib +monitor/monitor.c nkf/lib nkf/nkf.c objspace/objspace.c @@ -2,7 +2,7 @@ # define RUBY_VERSION_MINOR RUBY_API_VERSION_MINOR #define RUBY_VERSION_TEENY 3 #define RUBY_RELEASE_DATE RUBY_RELEASE_YEAR_STR"-"RUBY_RELEASE_MONTH_STR"-"RUBY_RELEASE_DAY_STR -#define RUBY_PATCHLEVEL 144 +#define RUBY_PATCHLEVEL 145 #define RUBY_RELEASE_YEAR 2020 #define RUBY_RELEASE_MONTH 12 |