Release 0.31.0

This commit is contained in:
Manuel Alejandro de Brito Fontes 2020-04-24 17:30:58 -04:00
parent ccef5fe7ce
commit c7c06e0e6f
13 changed files with 254 additions and 113 deletions

View file

@ -27,7 +27,7 @@ endif
SHELL=/bin/bash -o pipefail -o errexit
# Use the 0.0 tag for testing, it shouldn't clobber any release builds
TAG ?= 0.30.0
TAG ?= 0.31.0
# Use docker to run makefile tasks
USE_DOCKER ?= true