Qualcun altro sta avendo problemi con @rustrover ultimamente? Ho aggiornato un paio di giorni fa e da allora è inutilizzabile. Si blocca letteralmente ogni 3-4 secondi per 2 secondi. Continua a allocare saltando tra 1GB-3GB+ e viceversa. Sembra che stia eseguendo un ciclo di qualcosa in background.