# HG changeset patch # User John W. Eaton # Date 1422658203 18000 # Node ID a615049dde1850881fb04b4fd0bd269e6bb57b62 # Parent 5d0663bff5064b97944db220c4a2cdcbd217415b# Parent c5270263d46651687d822b3679fe9861d3fc3d59 maint: Final merge of gui-release branch (now closed) to default.