v0.7.25
8467d8a2 · release number bumped to 25 by export.pike ·