Merge pull request #122 from chalmers-revere/2016Q4.propagating.opend…

…lv.core.v0.7.1 * Preparing v0.3.0 after lifting OpenDLV.core v0.7.1 to OpenDLV
chalmers-revere · Dec 14, 2016 · 524493a · 524493a
2 parents de1aaa3 + 8547c03
commit 524493a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/ChangeLog b/ChangeLog
@@ -1,3 +1,4 @@
+0.3.0 - Propagating OpenDLV.core v0.7.1 release
 0.2.0 - Updated underlying base image.
 0.1.0 - Update to new OpenDLV.core base image
 0.0.1 - Initial version

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-0.2.0
+0.3.0
diff --git a/docker/Makefile b/docker/Makefile
@@ -18,7 +18,7 @@
 ###############################################################################
 # Parameters for this Makefile.
 BASE_IMAGE=seresearch/opendlv-core-on-opendavinci-ubuntu-16.04-complete
-BASE_IMAGE_VERSION=v0.4.0
+BASE_IMAGE_VERSION=v0.7.1
 
 ###############################################################################
 # Tools.