Subject: Re: bug#12251: 24.2.50; crash in note_mouse_highlight

From: martin rudalics <[email-masked]>
Date: Thu, 30 Aug 2012 14:49:08 +0200

> no crashes, no errors.
> yet.

You should inject some orthographical errors in your mails/change logs.

martin