Add Tobias to the e-mail map

hinerm · hinerm · commit ce22c9f3677f · 2014-12-18T09:39:14.000-06:00
This should fix e-mail issues in Release-Version, where it's trying to
use tobias.pietzsch@jenkins.imagej.net as the address.
diff --git a/git-info-for-jenkins-job.groovy b/git-info-for-jenkins-job.groovy
@@ -21,7 +21,8 @@ build = project.getBuildByNumber(buildNumber)
 emailMap = [
         "Curtis Rueden": "ctrueden@wisc.edu",
         "Johannes Schindelin": "johannes.schindelin@gmx.de",
-        "Mark Hiner": "hinerm@gmail.com"
+        "Mark Hiner": "hinerm@gmail.com",
+        "Tobias Pietzsch" : "tobias.pietzsch@gmail.com"
 ]
 
 for (cause in build.getCauses()) try {

Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,8 @@ build = project.getBuildByNumber(buildNumber)`
`21`	`21`	`emailMap = [`
`22`	`22`	`"Curtis Rueden": "[email protected]",`
`23`	`23`	`"Johannes Schindelin": "[email protected]",`
`24`		`- "Mark Hiner": "[email protected]"`
	`24`	`+ "Mark Hiner": "[email protected]",`
	`25`	`+ "Tobias Pietzsch" : "[email protected]"`
`25`	`26`	`]`
`26`	`27`
`27`	`28`	`for (cause in build.getCauses()) try {`