Ian makes a good point that we shouldn't use different words to refer
to the same action.  So I'd go for closes rather than fixes.

Regarding the re to use, I don't think we've relaxed it to such a
degree that people will close things by accident.  The only difference
is that the original allows white space and ignores case.


Guy

Reply via email to