v7.8.520
8c4d30ef · release number bumped to 520 by export.pike ·