User Tools

Site Tools


Reporting Bugs

This page describes the process of reporting a bug.

How to report

If you've found a bug, please open an issue at

The bug will have a bigger chance of being solved (faster) if

  1. you provide a good description;
  2. even better, you provide a good (minimal) way to reproduce it
  3. even better, you provide a solution
reportingbugs.txt · Last modified: 2014/11/17 11:07 by bengras