c4c1f3b gnuconfig: sync with upstream git

Authored and Committed by fberat 11 months ago
    gnuconfig: sync with upstream git
    
        
file modified
+8 -8
file modified
+10 -10
file modified
+4 -1