Re: [PATCH 0/8] trivia

Tom Tromey
2013-12-06T19:12:33Z

>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes:

Tom> I have a few trivial changes I've accumulated over the years that I
Tom> never got around to submitting. I've collected them all in this
Tom> series.

I'm pushing this in now.

Tom