v8.0.640
54e42e55 · release number bumped to 8.0.640 by export.pike ·