diff options
| author |  Mehrdad Afshari <mmx@google.com> | 2018-05-02 22:49:52 -0700 |
|---|---|---|
| committer | Mehrdad Afshari <mmx@google.com> | 2018-05-02 22:49:52 -0700 |
| commit | 2d43a45ad1540f554d89503676d2db2bc25776db (patch) | |
| tree | c7d66fa054079a36553777c4c6bf18dee3c049f7 /package.xml | |
| parent | 7af3e81c9a2df32d1d451dcdd09a1f49cf4b84a4 (diff) | |
Regenerate projects
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 b9cb22b647..7dcfa302ae 100644 --- a/package.xml +++ b/package.xml @@ -13,8 +13,8 @@ <date>2018-01-19</date> <time>16:06:07</time> <version> - <release>1.12.0dev</release> - <api>1.12.0dev</api> + <release>1.13.0dev</release> + <api>1.13.0dev</api> </version> <stability> <release>beta</release> |