diff options
author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-18 14:35:16 +0100 |
---|---|---|
committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-12-18 14:36:04 +0100 |
commit | 1cf02bb504bdb0e3a54e52e173cf48d1928a00ce (patch) | |
tree | 7a7ebfe52162dee39211f11c7033a40b3880e22e | |
parent | 105e0815ee9fc6e77cac2b1925650029f7106de9 (diff) | |
download | sparse-1cf02bb504bdb0e3a54e52e173cf48d1928a00ce.tar.gz |
VERSION=0.6.0-rc1
I forgot to update the version number in the Makefile.
Here it is now.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -VERSION=0.5.9-dev +VERSION=0.6.0-rc1 ######################################################################## # The following variables can be overwritten from the command line |