Revision bb176f67090ca54869fc1262c913aa69d2ede070 authored by Linus Torvalds on 23 October 2017, 10:49:47 UTC, committed by Linus Torvalds on 23 October 2017, 10:49:47 UTC
1 parent dd9d064
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
Computing file changes ...