v7.8.518
2519712f · release number bumped to 518 by export.pike ·