Bug reports

Issue tracker

The issue tracker is located on GitHub. Report bugs and feature requests there. You can also ask on the IRC channel.

Please provide enough information so that the bug can be reproduced without much trouble. Also include any details that could help us hunt down the bug. Use your common sense for this: if it looks a platform specific bug, include your OS version; if it's a video display problem, include GPU model, video driver type and version; etc.

This guide goes on with recurring scenarios and which information might be needed to properly isolate the bug.

Compilation failures

Mind the config

Crashes / Segmentation faults

Regressions / functionality that once worked: