[PATCH] Print trace state variables

[Joel Brobecker]

> If this seems reasonable, I'll put in both trunk and 7.2 branch.

Is this the change that you were thinking we should wait for before
releasing 7.2.1?

Tristan just informed me yesterday of another issue with etc/gnu-oids.texi
missing, and I will backport his change in a second.  If all is ready and
in, I should be able to make the release on, say, Monday.

-- 
Joel