v7.8.772
88ecef5e · release number bumped to 772 by export.pike ·