ECHO: Use text_item, as intended.
authorBen Pfaff <blp@cs.stanford.edu>
Tue, 7 Dec 2010 04:48:32 +0000 (20:48 -0800)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 12 Dec 2010 06:17:24 +0000 (22:17 -0800)
TEXT_ITEM_ECHO is meant for use by ECHO but it had been overlooked
accidentally until now.


No differences found