diff options
author | Michael Lumish <mlumish@google.com> | 2017-05-05 12:52:25 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-05 12:52:25 -0700 |
commit | 712ea0ac870e3f2a313277978ac3e9d3fdeeca11 (patch) | |
tree | bd56d10f10adfa3accd259b279113583890b1e59 /package.xml | |
parent | 262282858de0e2e51dd05489c28088b1570fa261 (diff) | |
parent | 572cd7e5a4630d47d3c3608c23d914e503c8f249 (diff) |
Merge pull request #10990 from murgatroid99/version_1.3.1_bump
Update version to 1.3.1
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 c06660b8b3..0a655ccc8a 100644 --- a/package.xml +++ b/package.xml @@ -13,8 +13,8 @@ <date>2017-05-02</date> <time>16:06:07</time> <version> - <release>1.3.1RC1</release> - <api>1.3.1RC1</api> + <release>1.3.1</release> + <api>1.3.1</api> </version> <stability> <release>beta</release> |