Report issues

Jump to bottom

jsuarezv edited this page Jun 8, 2021 · 2 revisions

PLease, use this issue tracker for bug reports. This article by Simon Tatham has an excellent description on how to make your bug report useful to the developers.