diff --git a/ChangeLog b/ChangeLog index cf6ef85e3d5..c09993f27b1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,6 +1,6 @@ -Fri Feb 14 2018 Marcin Ślusarz +Tue Feb 19 2018 Marcin Ślusarz - * Version 1.5.1-rc3 + * Version 1.5.1 This release fixes minor bugs and improves compatibility with newer tool chains. diff --git a/GIT_VERSION b/GIT_VERSION deleted file mode 100644 index f59cc05cb69..00000000000 --- a/GIT_VERSION +++ /dev/null @@ -1 +0,0 @@ -$Format:%h %d$ \ No newline at end of file diff --git a/VERSION b/VERSION new file mode 100644 index 00000000000..26ca594609a --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +1.5.1