Hello!

On Wed, Oct 08, 2008 at 01:08:43AM +0200, I wrote:
> 2008-10-06  Thomas Schwinge  <tschwinge@gnu.org>
> 
> 	* reply_mig_hack.awk: Use the `BAD_TYPECHECK' macro.

Committed.


Regards,
 Thomas