From fe6dd48f5fa900f0880beeea7fd47b2c9887d0fd Mon Sep 17 00:00:00 2001
From: Laurent Rineau <laurent.rineau@cgal.org>
Date: Fri, 8 Nov 2019 11:23:19 +0100
Subject: [PATCH] public_release_name is actually required by our NSIS docker
 image

---
 Maintenance/release_building/public_release_name | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Maintenance/release_building/public_release_name

diff --git a/Maintenance/release_building/public_release_name b/Maintenance/release_building/public_release_name
new file mode 100644
index 00000000000..629e657c165
--- /dev/null
+++ b/Maintenance/release_building/public_release_name
@@ -0,0 +1 @@
+CGAL-5.0