e411161 inadvertantly disabled patch13 (gcc_hack). probably safe to remove it, but

Authored and Committed by rdieter 13 years ago
1 file changed. 1 lines added. 1 lines removed.
    inadvertantly disabled patch13 (gcc_hack). probably safe to remove it, but
        let's leave it for now (it's removed in devel/ branch)
    
        
file modified
+1 -1