4af069f Merge fix for avoiding crash due to inexistent files in collections.

Authored and Committed by mschwendt 9 years ago
    Merge fix for avoiding crash due to inexistent files in collections.
    
      This also replaces the history path_list patch.
    
        
file modified
+9 -3