On Thu, May 24, 2012 at 6:40 PM, Paul Eggert <eggert@cs.ucla.edu> wrote: > On 05/24/2012 03:18 PM, Carlos O'Donell wrote: >> Two thumbs up from me. > > I also think this sort of patch has a high reward-to-risk ratio > and would like to see something like it go in. > Same here. Thanks. -- H.J.