v7.8.580
c1879f93 · release number bumped to 580 by export.pike ·