191025 update INFORMATION ------------------------------ getflashplayer 1.7.2 (getflash gui and getflash configuration file /root/.getflash/getflash.conf allowing to update the player again)