Bug reporting with mantis

Tips