d243df gnuconfig: sync with upstream git

Authored and Committed by Pavel Raiskup 6 years ago
    gnuconfig: sync with upstream git
    
        
file modified
+4 -1
file modified
+18 -8
file modified
+3 -3