e0c8972 Bring back the -stat patch, still needed by gap-pkg-io.

Authored and Committed by jjames 7 years ago
    Bring back the -stat patch, still needed by gap-pkg-io.
    
        
file added
+152
file modified
+9 -1