v8.0.1002
47c32734 · release number bumped to 8.0.1002 by export.pike ·