# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1693612562 -7200
# Node ID 780203697b708ed4fb6cf28c99797636406a5803
# Parent  70233ea53bf2b0825b82094d6fb05d40c53aba4c# Parent  be8a103fdd9bfa05c9a57368c049e71fcf818e00
Merged changes from the well-defined-instances branch.