Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b6f39aaa8453307a222b815da992331e550aaa6a)
+++ Jenkinsfile	(revision 943bfad2c0b8d6d35a71ff04892a3d14825e9dc8)
@@ -234,12 +234,12 @@
 		def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
 		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\u2200 repository.</p>
-
-			<p>- Status --------------------------------------------------------------</p>
-
-			<p>BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}</p>
-			<p>Check console output at ${env.BUILD_URL} to view the results.</p>
-			""" + Tools.GitLogMessage()
+generated because of a git hooks/post-receive script following
+a ref change which was pushed to the C\u2200 repository.</p>
+
+<p>- Status --------------------------------------------------------------</p>
+
+<p>BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}</p>
+<p>Check console output at ${env.BUILD_URL} to view the results.</p>
+""" + Tools.GitLogMessage()
 
 		def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"