Subject: Re: Improve API of recently-added bool vector functions.

From: Paul Eggert <[email-masked]>
Date: Mon, 25 Nov 2013 15:26:40 -0800

On 11/18/2013 11:44 AM, Paul Eggert wrote:
> One possibility
> is to remove the function if nobody's using it; another possibility
> would be the following patch.

No further comment, so I merged the patch as trunk bzr 115236
and am marking this as done.