On Sat, 2009-09-19 at 10:04 +0530, Jaswinder Singh Rajput wrote:
Note, Thomas is German, not American. German's do not shorten their
names like they do in America. Thus, his name is Thomas and not Tom.
We're working on it. But don't expect it that early. Our estimate is the
same as we've said for the last 5 years. "It will be in next year".
-- Steve
--