Revision 7daf201d7fe8334e2d2364d4e8ed3394ec9af819 authored by Linus Torvalds on 24 June 2018, 12:54:29 UTC, committed by Linus Torvalds on 24 June 2018, 12:54:29 UTC
1 parent c81b995
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...