v7.8.880
88edcd88 · release number bumped to 880 by export.pike ·