new version 1.7.2 released

Changelog

• Bug fix: Opening a new connection could cause multiple entries in the History list under some circumstances
• Fullscreen mode now optionally covers the Windows taskbar