Update egit-fetch-factory (better handling of branches for the future).
diff --git a/releng/build-scripts/build/run.properties b/releng/build-scripts/build/run.properties
index e598033..f7b5a36 100644
--- a/releng/build-scripts/build/run.properties
+++ b/releng/build-scripts/build/run.properties
@@ -35,5 +35,5 @@
# orig:
#git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201108111757.jar
# enhanced (see https://bugs.eclipse.org/bugs/show_bug.cgi?id=365944):
-git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201112072231.jar
+git.pde.build=org.eclipse.egit.fetchfactory_0.12.0.201208152153.jar