v8.0.602
7c9228d3 · release number bumped to 8.0.602 by export.pike ·