add REDIRECT

hc

2024-10-09 05e59e5fb0064c97a1c10921ecd549f2d4a58565

1
2
3
[spatch]
    options = --timeout 200
    options = --use-gitgrep