Ted Kremenek schrieb: > If it is useful, I will put it back in. The goal is to include the > information that people want or need and no more. Ironically, > sometimes we don't know if something is useful to someone until we > remove it.
Yes, it's useful for me at least. Not sure about other people. Regards, Sascha _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
