v8.0.512
85f64d57 · release number bumped to 8.0.512 by export.pike ·