Revision 77068dc6e234741b3420739afbbb6c6384c8d58a authored by Alexander Potapenko on 09 January 2018, 14:15:24 UTC, committed by Alexander Potapenko on 28 August 2018, 10:29:12 UTC
1 parent ddbc53b
.cocciconfig
[spatch]
options = --timeout 200
options = --use-gitgrep
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...