On 15.3.2014 02:15, Peter Geoghegan wrote:
> On Fri, Mar 14, 2014 at 5:10 PM, Tomas Vondra <tv@fuzzy.cz> wrote:
>> I'm on commit a3115f0d, which is just 2 days old, so I suppose this was
>> not fixed yet.
>
> Try merging the feature branch now, which will get you commit 16923d,
> which you're missing. That was an open item for a while, which I only
> got around to fixing a few days ago.
Ok, that seems to be working fine.
T.