On Mon, Nov 14, 2016 at 9:22 AM, Heikki Linnakangas <hlinnaka(at)iki(dot)fi> wrote:
> I think that difference in the API is exactly what caught Peter by surprise
> and led to bug #14344. And I didn't see it either, until you two debugged
> it.
That is accurate, of course.
--
Peter Geoghegan