v7.8.888
988f66bc · release number bumped to 888 by export.pike ·