Changelog for version 1258

Released: September 22, 2015

Release notes

Improvements to RIKmap.

No ideas implemented in this version
No bugs fixed in this release