---
name: Other
about: Bring up other types of issues
title: ''
labels: ''
assignees: ''

---

<!---
Consider sending an email to the mailing list at cocci@inria.fr instead of opening an issue on GitHub!
-->
