------- Additional Comments From steven at gcc dot gnu dot org  2005-04-24 
14:22 -------
Jeff, "should be fixed now" is not helpful.  Either it is fixed, so you 
should close the bug, or it is not, in which case your remark would not 
be true. 
 
Also, when you commit a patch that fixes a PR, you should mention the PR 
number in the ChangeLog. 
 
But you know all this.  Too bad you don't follow this practice  :-( 
 
Closing as FIXED. 
 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14627

Reply via email to