5 Mar
                
                    2020
                
            
            
                5 Mar
                
                '20
                
            
            
            
        
    
                4:07 p.m.
            
        On 2020/03/04 11:14 , Enrico Ardizzoni wrote:
This is the "prerm" script ( a little bit overkill :) )
I pushed v5010.3 which fixes the prerm script. Unfortuantely, during an upgrade it runs the old script, so upgrading to 5010-3 will still remove the keys. Philip