Fix: the MS-Windows uninstaller did not delete registry keys on 64 bit systems.
1 file changed