From d4dd6f26dd7096fa038187db05027b5feac0ed4d Mon Sep 17 00:00:00 2001
From: Erik Paemurru <computeralgebra@runbox.com>
Date: Thu, 10 Oct 2024 01:15:58 +0200
Subject: [PATCH] Fix missing newline from banner

---
 src/Hecke.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Hecke.jl b/src/Hecke.jl
index e2564f0d9f..83e2518292 100644
--- a/src/Hecke.jl
+++ b/src/Hecke.jl
@@ -155,6 +155,7 @@ function _print_banner()
    | |  | |  __/ (__|   <  __/
    |_|  |_|\___|\___|_|\_\___|", color = :red)
   println()
+  println()
   print("Version")
   printstyled(" $VERSION_NUMBER ", color = :green)
   print("... \n ... which comes with absolutely no warranty whatsoever")