New: Changes for Release 1.2.5

Refer to VERSION_HISTORY.md for more details.
Merge branch 'master' into devel_2