v8.0.502
9c46b025 · release number bumped to 8.0.502 by export.pike ·