v7.8.25
5447b2b7 · release number bumped to 25 by export.pike ·