v8.0.572
39f116f3 · release number bumped to 8.0.572 by export.pike ·