Revision 4d856f72c10ecb060868ed10ff1b1453943fc6c8 authored by Linus Torvalds on 15 September 2019, 21:19:32 UTC, committed by Linus Torvalds on 15 September 2019, 21:19:32 UTC
1 parent 72dbcf7
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...