release number bumped to 852 by export.pike
release number bumped to 853 by export.pike