# HG changeset patch # User Jim Blandy # Date 695601730 0 # Node ID 7ec9930dadc0659171b59f5f73f9f604cf7716bb # Parent 5a33b571a57eabf7e6d73e03b445d358c4822a5f *** empty log message ***