From bc98930c4b1f920ee549dbd6cb88f6bca131a545 Mon Sep 17 00:00:00 2001
From: Erik Paemurru <143521159+paemurru@users.noreply.github.com>
Date: Thu, 10 Oct 2024 09:15:53 +0200
Subject: [PATCH] Fix missing newline from banner (#1647)

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

diff --git a/src/Hecke.jl b/src/Hecke.jl
index 8227336652..bd63987ead 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")