v7.8.812
e4ba8eb6 · release number bumped to 812 by export.pike ·