diff options
author | Juanli Shen <aspirinsjl@gmail.com> | 2018-08-27 18:34:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-27 18:34:38 -0700 |
commit | 35501ad1df5799be17cc41894a0dc1d3ed43a8f0 (patch) | |
tree | 378e083b697099565c5c60c0a135c48dacb49804 /package.xml | |
parent | f2f8bbd0080e9d4d61e50e1d361bb8bc761a32b4 (diff) | |
parent | 8ceb27a324b5efaf2ed096a7bbdf241295272bf5 (diff) |
Merge pull request #16467 from AspirinSJL/bump_master
Bump version to 1.16.0-dev
Diffstat (limited to 'package.xml')
-rw-r--r-- | package.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/package.xml b/package.xml index 537c5404e7..9c0e078e92 100644 --- a/package.xml +++ b/package.xml @@ -13,8 +13,8 @@ <date>2018-01-19</date> <time>16:06:07</time> <version> - <release>1.15.0dev</release> - <api>1.15.0dev</api> + <release>1.16.0dev</release> + <api>1.16.0dev</api> </version> <stability> <release>beta</release> |