Save platformTipps. closes #736
Merge branch 'newdev' of github.com:k-int/KBPlus into newdev
Fix sort order on current subs. closes #845
Merge branch 'newdev' into 4.2-dev