v7.1.42
6f967cee · release number bumped to 42 by export.pike ·