Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


  • Release Type: Maintenance Release
  • Date of shipment: 20202019-12-10


  • No major features are introduced, this release includes exclusively bug-fixes and minor features that are designed to be free from side effects.
  • This release includes bug-fixes starting from Release 1.13.0
  • For additional information see our Release Policies