v7.8.824
6c0e5eed · release number bumped to 824 by export.pike ·