# HG changeset patch # User John W. Eaton # Date 1407109174 14400 # Node ID 50fccff7651cbf6d19d4d367a11a18bcf6bf2f55 # Parent 7761c281aac09e9ccf5c0b82404366c31aa74597# Parent 8de35ac99e809023c0698093b00db2e2f40d4085 maint: Periodic merge of stable to gui-release.