Subject: see also bug#25349

From: Tom Tromey <[email-masked]>
Date: Tue, 10 Jan 2017 22:52:41 -0700

This sounds like bug#25349, which also has a patch and some other
commentary.  I don't know how to merge them, or I would.

Tom