# HG changeset patch # User John W. Eaton # Date 1407109209 14400 # Node ID 05a7c6026df0cef4ca2a43be82f498bc8cf026f9 # Parent fe505ff21d5bf00553ee452631dccc4ee89d1c4c# Parent 50fccff7651cbf6d19d4d367a11a18bcf6bf2f55 maint: Periodic merge of gui-release to default.