# HG changeset patch # User Markus Kottlaender # Date 1551772015 -3600 # Node ID ae257e0238f18f7d4eeaec3f5134b0bc66b4b5a7 # Parent bc0f1771497aa3c01a144f4bf06295d18c1dd2dc# Parent ac0e2cf199e79e50914771e25d8e0b816c920384 merged critical-bottlenecks into default branch Contains one change that was unintentionally committed to the critical-bottlenecks branch. e13daf439068 and 51dbcbf11c5f