21b7b3f gnuconfig: sync with upstream git

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