0a2b958 7.2.2 bump

Authored and Committed by ppisar 8 years ago
    7.2.2 bump
    
        
file modified
+2 -0
file modified
+16 -6
file modified
+2 -2
swipl-7.2.2-Fix-JNI.patch swipl-7.2.0-Fix-JNI.patch
file renamed
+13 -13
file modified
+1 -1