]> git.ipfire.org Git - thirdparty/kernel/stable.git/blob - .cocciconfig
serial: fix race between flush_to_ldisc and tty_open
[thirdparty/kernel/stable.git] / .cocciconfig
1 [spatch]
2 options = --timeout 200
3 options = --use-gitgrep