v8.0.1012
47c1b18d · release number bumped to 8.0.1012 by export.pike ·