Mentions légales du service

Skip to content

Fix --disable-python option

Thierry Martinez requested to merge tmartine/coccinelle:disable-python into master

Gentoo maintainers notice that --disable-python configure option was broken since no_pycocci.mli was missing. https://bugs.gentoo.org/701904

Merge request reports