v7.8.700
1ace5c8e · release number bumped to 700 by export.pike ·