[Joerg Mayer <jmayer@xxxxxxxxx>]

On Wed, Nov 09, 2011 at 09:46:06PM +0100, Stig Bj?rlykke wrote:
> I committed a corrected fix in revision 39775.

Thanks!

> Joerg: did your grep ever finish?  ;)

Probably - but it took longer than to the next important and time consuming
interruption :-)

Ciao
       Joerg
-- 
Joerg Mayer                                           <jmayer@xxxxxxxxx>
We are stuck with technology when what we really want is just stuff that
works. Some say that should read Microsoft instead of technology.