v7.8.72
a4ac6ff1 · release number bumped to 72 by export.pike ·