Re: [PATCH 0/8] fix problems with ^ and $ together with \< and \>

[Paul Eggert]

Thanks for fixing that bug!  I didn't had time
to review every bit of the change but what I did
look at looked good.