# HG changeset patch # User Jim Blandy # Date 695504589 0 # Node ID ef10fce6f96e757d49817ed19c71fcb520076bf6 # Parent 393e90d2071b3f260c022e9a41cc415bb5745057 *** empty log message ***