Fix the VERSION variable in Makefile
commit61b261008afc76fef1cbf011d9295421d768ea7d
authorJonas Fonseca <fonseca@diku.dk>
Mon, 12 May 2014 02:40:34 +0000 (11 22:40 -0400)
committerJonas Fonseca <fonseca@diku.dk>
Tue, 20 May 2014 21:53:50 +0000 (20 17:53 -0400)
tree88ba4acae72225142517384b87e813440f4b08dc
parent8247276085d71345e6aeba96b0ae0d0a86753f71
Fix the VERSION variable in Makefile

This also fixes the release script to correctly update the release
title.
Makefile
tools/release.sh