Comment 2 for bug 896733

Revision history for this message
Evan Broder (broder) wrote :

That would certainly be sufficient in this particular case, but I don't think it's particularly hard to imagine cases where it wouldn't be. I think it's important for this sort of developer helper tool to ultimately leave control in the hands of the user.