v7.8.712
3518efe1 · release number bumped to 712 by export.pike ·