v7.8.472
7c4b7a85 · release number bumped to 472 by export.pike ·