diff --git a/CHANGELOG b/CHANGELOG index 717f5aa50935d3fdf4dc6268e635644bf5675171..82f66fc82d7860c65000ee11d80f6c6755745807 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 0000000000000000000000000000000000000000..a33b6ad89d4881c84fb355b8c56d309760e66b70 --- /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