summarylogtreecommitdiffstats
path: root/0001-Fix-263-wrong-default-path-for-COCCINELLE_HOME.patch
AgeCommit message (Collapse)Author
2022-08-10Fix OCaml scripting supportOmar Sandoval
Apply the fix from https://gitlab.inria.fr/coccinelle/coccinelle/-/commit/540888ff426e0b1f7907b63ce26e712d1fc172cc, which hasn't made it into a release yet.