Revision 16f73eb02d7e1765ccab3d2018e0bd98eb93d973 authored by Linus Torvalds on 30 July 2017, 19:40:36 UTC, committed by Linus Torvalds on 30 July 2017, 19:40:36 UTC
1 parent f137e0b
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
Computing file changes ...