99fec12 gnuconfig: sync with upstream git

Authored and Committed by fberat a year ago
    gnuconfig: sync with upstream git
    
        
file modified
+10 -4
file modified
+26 -9
file modified
+4 -1