I have installed ver 4.7.1 and start update when get a update notification.
but launcher shows updating 4.7.1, and download task panel shows 4.7.1 is downloading.
finally, it successfully updated to 4.7.2.
But it may confuse some users in bad networks: Does it cost hours of time for downloading Gigabytes package that i already installed?