From c28e1d269db745c80458a5dab2f52cd2e036f55e Mon Sep 17 00:00:00 2001 From: Timo Huber Date: Tue, 30 Apr 2024 10:46:41 +0200 Subject: [PATCH] v0.7.1 --- dune-project | 2 +- package.json | 2 +- pool.opam | 2 +- pool.opam.locked | 2 +- pool/version/version.ml | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/dune-project b/dune-project index 622256d08..035e702d2 100644 --- a/dune-project +++ b/dune-project @@ -4,7 +4,7 @@ (name pool) -(version 0.7.0) +(version 0.7.1) (authors "Department of Economics, University of Zurich") diff --git a/package.json b/package.json index 9884f19d1..30d81ea5b 100644 --- a/package.json +++ b/package.json @@ -1,6 +1,6 @@ { "name": "pool", - "version": "0.7.0", + "version": "0.7.1", "license": "GPL-2.0-or-later", "scripts": { "build": "export NODE_OPTIONS=--trace-warnings PUBLIC_URL=$PREFIX_PATH/assets/; parcel build resources/index.js resources/images/** --dist-dir public --public-url $PUBLIC_URL && parcel build resources/admin.js --dist-dir public --public-url $PUBLIC_URL", diff --git a/pool.opam b/pool.opam index 6e6b9140d..b99af6a57 100644 --- a/pool.opam +++ b/pool.opam @@ -1,6 +1,6 @@ # This file is generated by dune, edit dune-project instead opam-version: "2.0" -version: "0.7.0" +version: "0.7.1" synopsis: "The Z-Pool tool" description: """ diff --git a/pool.opam.locked b/pool.opam.locked index 9ac9bcef6..5add71b8b 100644 --- a/pool.opam.locked +++ b/pool.opam.locked @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "0.7.0" +version: "0.7.1" synopsis: "The Z-Pool tool" description: """ diff --git a/pool/version/version.ml b/pool/version/version.ml index bf928faa1..36ada898d 100644 --- a/pool/version/version.ml +++ b/pool/version/version.ml @@ -1 +1 @@ -let to_string = "0.7.0" +let to_string = "0.7.1"