Build submission for I20100513-0800 (bis)
diff --git a/bundles/org.eclipse.ui/buildnotes_workbench.html b/bundles/org.eclipse.ui/buildnotes_workbench.html
index 73594b9..9d503be 100644
--- a/bundles/org.eclipse.ui/buildnotes_workbench.html
+++ b/bundles/org.eclipse.ui/buildnotes_workbench.html
@@ -12,6 +12,12 @@
<h1>Eclipse Platform Build Notes (3.5)<br>
JFace and Workbench</h1>
+<p>Integration Build (May 12, 2010, 12:58 p.m.)</p>
+ <p>Problem reports updated</p>
+ <p>
+<a href="https://bugs.eclipse.org/bugs/show_bug.cgi?id=312686">Bug 312686</a>. [CommonNavigator] double click on a tree item causes File to open in the editor (FIXED)<br>
+ </p>
+
<p>Integration Build (May 12, 2010, 3:13 p.m.)</p>
<p>Problem reports updated</p>
<p>