(In reply to roland@rptd.ch from comment #41) > EDIT: to sum up: > 1) GIT master + patch => bug present > 2) GIT master - patch + revert-commit => bug fixed If you don't have a way for developers to reproduce the issue themselves, it's likely to go unfixed.