v7.8.512
9c642451 · release number bumped to 512 by export.pike ·