v8.0.260
2134812d · release number bumped to 8.0.260 by export.pike ·