Random fixes

We only need ti_sort in debug mode.

Please delete this branch after merge!

Git RTFM !

I'm too old for this shit.

Added 1 commit:

• 28e61904 - remove ti_sort.

Added 8 commits:

• 28e61904...a0106530 - 7 commits from branch master
• 24e1164b - Merge remote-tracking branch 'origin/master' into random_fixes

That's innocuous so I'll accept.

Status changed to merged

mentioned in commit a09b7e2a