v7.2.487
6ef4e097 · release number bumped to 487 by export.pike ·