v7.2.527
d0156b04 · release number bumped to 527 by export.pike ·