The previous merge broke release checking builds because of
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48652.

That was fixed in the very next rev after my merge, so I just
cherry picked rev 172663.

Lawrence, this should fix your builds.


Diego.

Reply via email to