diff --git a/Project.toml b/Project.toml
index b55d327b6a..01f23a3201 100644
--- 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
index d9e16e7835..e6c110d38f 100644
--- 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: ")