v8.0.254
0d88da38 · release number bumped to 8.0.254 by export.pike ·