v7.8.640
8904d0dc · release number bumped to 640 by export.pike ·