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

[Paolo Bonzini]

On 07/04/2011 03:46 PM, Jim Meyering wrote:

Here's a complete patch:

ACK, will rebase on top of this.

Paolo