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

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