Subject: Re: bug#22012: 25.1.50; gdb broken by (json-string-format "doesn't start with `\"'!")
From: martin rudalics <[email-masked]>
To: Eli Zaretskii <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Tue, 13 Feb 2018 11:22:55 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

> When I manage to reproduce it, I will post the contents of the buffer.

Apparently I didn't manage to do that in the past two years so I'm
closing this bug.

Thanks to all involved, martin