diff options
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 159bc2d0e3..ac5a6b2781 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: 5.0.0 g_stands_for: gambit - version: 1.7.1 + version: 1.7.2 filegroups: - name: census public_headers: |