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.
--
Peter Geoghegan