hc
2023-12-11 072de836f53be56a70cecf70b43ae43b7ce17376
1
2
3
[spatch]
   options = --timeout 200
   options = --use-gitgrep