Re: Small fix for crasher in AWT

[Andrew Haley]

On 12/03/2012 12:26 PM, Anthony Petrov wrote:
> The fix looks fine to me, too. Do you need a bug id to push it, or have 
> you already filed one yourself?

I haven't filed one.  I will certainly do so now.

Thanks,
Andrew.