v7.2.587
36fc90c0 · release number bumped to 587 by export.pike ·