On 2014-10-17 Fri 02:23, martin rudalics wrote:
> Many thanks for bisecting this.  How comes that (according to Stefan's
> later investigation) bisecting was off by one commit here?

Perhaps I misunderstood how git's bisect feature works.  I finished the
bisection process and then reported the commit at the top of `git log`.

  Titus