102decc Drop -stat patch, no longer needed after gap-pkg-io update.

Authored and Committed by jjames 4 years ago
    Drop -stat patch, no longer needed after gap-pkg-io update.
    Drop -doc patch: it is not the right solution to the problem.
    
        
file removed
-50
file removed
-55
file modified
+8 -12