Re: [RFC PATCH] dfa: make position_sets grow automatically

[Paolo Bonzini]

On 07/12/2011 05:22 PM, Jim Meyering wrote:

Hi Paolo,

Here's what I expect to push later today:

I didn't have time to follow up.  I'll rebase on top of yours.

Paolo