On Thu, Apr 14, 2016 at 8:54 PM, Nick Cleaton <nick@cleaton.net> wrote:
> Certainly. My "this fixes it for me" was intended more as a piece of
> diagnostic information than as a proposed change to the code.
As I am just bumping on it. For the archive's sake, a fix has been
pushed as 5945501 (commit log references this thread as well).
--
Michael