1835ddd Drop the unused patch_level.

Authored and Committed by vondruch 9 years ago
1 file changed. 0 lines added. 6 lines removed.
    Drop the unused patch_level.
    
        
file modified
+0 -6