Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8d636496f5398049761b83bb146d0f335a72dc06)
+++ Jenkinsfile	(revision a3dc4cc4ef5635afc24f2c0ce599f4f81b697692)
@@ -231,5 +231,5 @@
 	def email_body = """<p>This is an automated email from the Jenkins build machine. It was
 generated because of a git hooks/post-receive script following
-a ref change which was pushed to the C∀ repository.</p>
+a ref change which was pushed to the C\u2200 repository.</p>
 """ + GitLogMessage()