Call this v0.13.0

Nemocas · Mar 22, 2019 · 77c5310 · 77c5310
1 parent fb3efd2
commit 77c5310
Showing 1 changed file with 2 additions and 2 deletions.
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.12.3")
+   println("Welcome to Nemo version 0.13.0")
    println("")
    println("Nemo comes with absolutely no warranty whatsoever")
    println("")
@@ -270,7 +270,7 @@ end
 ################################################################################
 
 function versioninfo()
-  print("Nemo version 0.12.3\n")
+  print("Nemo version 0.13.0\n")
   nemorepo = dirname(dirname(@__FILE__))
 
   print("Nemo: ")