Bump version number

Nemocas · May 4, 2019 · 07121b7 · 07121b7 · thofma · May 4, 2019
1 parent 3fcf826
commit 07121b7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "Nemo"
 uuid = "2edaba10-b0f1-5616-af89-8c11ac63239a"
-version = "0.13.4"
+version = "0.13.5"
 
 [deps]
 AbstractAlgebra = "c3fe647b-3220-5bb0-a1ea-a7954cac585d"

diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -244,7 +244,7 @@ function __init__()
          (Ptr{Nothing},), @cfunction(flint_abort, Nothing, ()))
 
    println("")
-   println("Welcome to Nemo version 0.13.3")
+   println("Welcome to Nemo version 0.13.5")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -270,7 +270,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.13.3\n")
+  print("Nemo version 0.13.5\n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")