[Issue 4849] Remove str.string.abbrev()

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=4849


Andrei Alexandrescu <andrei at erdani.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |WONTFIX


--- Comment #5 from Andrei Alexandrescu <andrei at erdani.com> 2013-03-04 15:33:27 PST ---
The name isn't awful enough to warrant a rename at this point. I think we're in
good shape.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------