v7.2.25
9d7a0f5e · release number bumped to 25 by export.pike ·