release number bumped to 748 by export.pike
release number bumped to 749 by export.pike