From 2cbd7e88368b319e1a3e6beb57fa53aed8590691 Mon Sep 17 00:00:00 2001 From: Piotr Gawron <piotr.gawron@uni.lu> Date: Thu, 7 Jun 2018 16:20:33 +0200 Subject: [PATCH] version changed to 12.0.0~beta.4 --- CHANGELOG | 2 +- persist/src/db/12.0.0~beta.4/fix_db_20180607.sql | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) create mode 100644 persist/src/db/12.0.0~beta.4/fix_db_20180607.sql diff --git a/CHANGELOG b/CHANGELOG index 717f5aa509..82f66fc82d 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,4 +1,4 @@ -minerva (12.0.0~beta.3) unstable; urgency=medium +minerva (12.0.0~beta.4) unstable; urgency=medium * Bug fix: openlayers issue with devices with high Device Pixel Ratio -- Piotr Gawron <piotr.gawron@uni.lu> Thu, 7 Jun 2018 16:00:00 +0200 diff --git a/persist/src/db/12.0.0~beta.4/fix_db_20180607.sql b/persist/src/db/12.0.0~beta.4/fix_db_20180607.sql new file mode 100644 index 0000000000..a33b6ad89d --- /dev/null +++ b/persist/src/db/12.0.0~beta.4/fix_db_20180607.sql @@ -0,0 +1 @@ +-- empty file to force directory to be commited to git repo -- GitLab