On 05/03/2012 02:44 PM, anonym wrote:
I chose to email a patch instead of pushing directly since I'm not sure if the policy here would be to revert/reset the offending commit since it's already pushed.
If you're sure yours is 'the right thing', you can just remove the commit on the debian-next branch, apply yours, and push with force.
-- Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern Email: daniel.baumann@progress-technologies.net Internet: http://people.progress-technologies.net/~daniel.baumann/