v7.2.493
5a237c6f · release number bumped to 493 by export.pike ·