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 /build.yaml | |
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 'build.yaml')
-rw-r--r-- | build.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build.yaml b/build.yaml index 1b349d8b49..37e1725124 100644 --- a/build.yaml +++ b/build.yaml @@ -14,7 +14,7 @@ settings: '#10': See the expand_version.py for all the quirks here core_version: 3.0.0 g_stands_for: gentle - version: 1.3.1-pre1 + version: 1.3.1 filegroups: - name: census public_headers: |