Merge branch 'for-next/gcc-plugin-infrastructure' into for-linus/gcc-plugins

[linux-stable.git] / .cocciconfig

[spatch]
        options = --timeout 200
        options = --use-gitgrep