c52651 Use list.remove() instead of relying on set()

Authored and Committed by Pierre-Yves Chibon 8 years ago
    Use list.remove() instead of relying on set()
    
        
file modified
+3 -1