v8.0.516
937fa740 · release number bumped to 8.0.516 by export.pike ·