Added a bugfix from Ole to the merge queue.

levkowetz · levkowetz · commit 1dc7a8690f03 · 2014-12-13T13:40:22.000Z
- Legacy-Id: 8740
diff --git a/ready-for-merge b/ready-for-merge
@@ -7,6 +7,7 @@
 
 # --- Add entries at the top ---
 
+branch/iola/facelift-r8510@8733
 personal/rcross/v5.7.3-dev0@8641
 personal/suresh/v5.7.3-dev0@8602
 personal/rjs/v5.6.3-dev0-session@8305
