| commit | 744338d86f520ff15e869bfa070598117206cc19 | [log] [tgz] |
|---|---|---|
| author | Dan Albert <danalbert@google.com> | Mon Jun 13 21:07:46 2016 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jun 13 21:07:46 2016 +0000 |
| tree | 1cef2f878ffa0e663a461fd0f931b471aeddbce7 | |
| parent | 933766aef416d93bfb88fcfdc88b5bba88a94a72 [diff] | |
| parent | 139eb51faf62ed99660c6f931b45dc8da94c1a60 [diff] |
Merge "Rename to r12b." into ndk-r12-release
diff --git a/config.py b/config.py index 51efbce..0a77afd 100644 --- a/config.py +++ b/config.py
@@ -1,5 +1,5 @@ major = 12 -hotfix = 0 +hotfix = 1 hotfix_str = chr(ord('a') + hotfix) if hotfix else '' beta = 0 beta_str = '-beta{}'.format(beta) if beta > 0 else ''