Revision 0c8efd610b58cb23cefdfa12015799079aef94ae authored by Linus Torvalds on 12 March 2018, 00:25:09 UTC, committed by Linus Torvalds on 12 March 2018, 00:25:09 UTC
1 parent ed58d66
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
Computing file changes ...