Revision 7876320f88802b22d4e2daf7eb027dd14175a0f8 authored by Linus Torvalds on 16 September 2018, 18:52:37 UTC, committed by Linus Torvalds on 16 September 2018, 18:52:37 UTC
1 parent 8a104f8
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
Computing file changes ...