Comment 6 for bug 139679

Revision history for this message
Markus Korn (thekorn) wrote :

patch against bughelper.main r196: adding --ignore_conflicts cmd-line option to bughelper/bugnumbers, modify given url if necessary.