having a workaround in the bug is fine, having 15 comments in a week to discuss the said workaround not so since it's spamming the people subscribed to gedit bugs where that's not a gedit issue
having a workaround in the bug is fine, having 15 comments in a week to discuss the said workaround not so since it's spamming the people subscribed to gedit bugs where that's not a gedit issue