Update egit-fetch-factory (better handling of branches for the future).
diff --git a/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201112072231.jar b/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201112072231.jar
deleted file mode 100644
index 7813978..0000000
--- a/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201112072231.jar
+++ /dev/null
Binary files differ
diff --git a/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201208152153.jar b/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201208152153.jar
new file mode 100644
index 0000000..719df60
--- /dev/null
+++ b/releng/build-scripts/build/lib/org.eclipse.egit.fetchfactory_0.12.0.201208152153.jar
Binary files differ
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
