> From: Thomas Schwinge <thomas@codesourcery.com> > Date: Thu, 26 Jan 2012 16:14:37 +0100 > > OK to commit? Yes, and thanks for noticing this blunder. > (Someone please verify it's the most sensible place where I put it.) Verified.