On Thu, Jun 7, 2012 at 4:49 PM, Christian Grothoff
<christian@grot...>wrote:
> If
> you file a bug report, I'll certainly comment on my success/failure to
> reproduce there and then we can see what additional information might be
> required to address this.
>