v7.8.742
602240a1 · release number bumped to 742 by export.pike ·