21b7b3 gnuconfig: sync with upstream git

Authored and Committed by Pavel Raiskup 5 years ago
    gnuconfig: sync with upstream git
    
        
file modified
+4 -1
file modified
+65 -55
file modified
+1192 -1235