v8.0.1000
50bfa256 · release number bumped to 8.0.1000 by export.pike ·