dgutov diff-header: Make lighter accordingly
580f673 May 5, 2021
diff-header: Make lighter accordingly
580f673