Re: [patch] Remove #include tree-mudflap.h from a few files

[Joseph S. Myers]

On Fri, 13 Jan 2012, Steven Bosscher wrote:

> Hello,
> 
> Nothing fancy, just remove an odd couple of #includes that are not necessary.
> OK for trunk?

OK with dependencies updated in Makefile.in.

-- 
Joseph S. Myers
jos...@codesourcery.com