v7.8.12
a0b09fb8 · release number bumped to 12 by export.pike ·