release number bumped to 836 by export.pike
release number bumped to 837 by export.pike