Fix bug where goal null was untippable; #893
Bump version to 8.2.5
Bump version to 8.2.5-dev