Release 0.31.1

This commit is contained in:
Manuel Alejandro de Brito Fontes 2020-04-27 10:20:21 -04:00
parent dbaefc8ee9
commit b68839118f
15 changed files with 219 additions and 218 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.31.0
TAG ?= 0.31.1
# Use docker to run makefile tasks
USE_DOCKER ?= true