Hi Tim, On Wed, Sep 15, 2021 at 01:58:42PM +0200, Tim Duesterhus wrote: > Willy, > > not sure about the "DOC" tag for the coccinelle patches and the placement > within the directory structure. Feel free to adjust.
Good idea. I even remember that I was about to store some of my few coccinelle patches when I started to split contrib/ apart a while ago but I forgot to merge them. I'll have to blow the dust off them and insert the relevant ones as well. I've created dev/coccinelle and merged them there, since dev/ is where the developer tools go now. Thanks! Willy