v1.3.7
Hotfix release.
Fixes a bug introduced by v1.3.6 where the Flatten Ground tool remembered the height level from when it was first used and always flattened to that level of height.
Also fixes an older bug where the Redo functionality was broken for the Flatten Ground tool.