v7.8.800
418286a7 · release number bumped to 800 by export.pike ·