v8.0.488
2e7be41d · release number bumped to 8.0.488 by export.pike ·