On Fri, Nov 13, 2015 at 10:47 AM, Eli Zaretskii <eliz@gnu.org> wrote:

> Thanks, pushed.

Commit a731c2f163071ed6efe7d93fa9585dd66ddf2fbb adds a test for this bug
(based on the use case in bug#20698).