Re: [PATCH 0/2] Star wildcard ranges (e.g., "info thread 2.*")

Pedro Alves
2016-01-15T21:50:07Z

I've pushed this in now, with Eli's suggested NEWS tweak.

Thanks all for the review.

Thanks,
Pedro Alves