### 17.5 Reporting Suggestions and Bugs

If you would like to make suggestions about GPS, or if you encountered a bug, please report it to mailto:report@gnat.com if you are a supported user, and to mailto:gps-devel@lists.act-europe.fr otherwise.

Please try to include a detailed description of the problem, including sources to reproduce it if possible/needed, and/or a scenario describing the actions performed to reproduce the problem, as well as the tools (e.g debugger, compiler, call graph) involved.

The files `$HOME/.gps/log` may also bring some useful information when reporting a bug.

In case GPS generates a bug box, the log file will be kept under a separate name (`$HOME/.gps/log.<pid>` so that it does not get erased by further sessions. Be sure to include the right log file when reporting a bug box.