v7.8.872
e2ac677f · release number bumped to 872 by export.pike ·