diff --git a/website/version.txt b/website/version.txt index 7f73c6b29..0d4adf742 100644 --- a/website/version.txt +++ b/website/version.txt @@ -1,3 +1,3 @@ Just increment this number if you have to deploy the website: -2 +3