Bump to v7.2.12

This commit is contained in:
James Lu 2022-01-30 13:35:38 -08:00
parent 33fc9de37a
commit 6f866e5a15

View file

@ -1,4 +1,4 @@
local VERSION = "7.2.11"; local VERSION = "7.2.12";
local build(contrib=false) = { local build(contrib=false) = {
"kind": "pipeline", "kind": "pipeline",