# HG changeset patch # User Teemu Piippo # Date 1410219741 -10800 # Node ID 120cf01d8831e655e7163a272ab857cf3a5d95f0 # Parent 7ad8fb667084e454ff465445562c982c6e14142a# Parent ee0631d7f5d4c3c8f41dc0340063aec2dd7f4ca5 - merged selection optimization from experimental into default