v8.0.522
e556e11d · release number bumped to 8.0.522 by export.pike ·