RedTimer 1.2.5

This release fixes a bug in the connection detection resulting in the issue selector not finding any issues. Furthermore, it fixed a bug with some graphics drivers in Windows.