[debbugs-tracker] bug#21488: closed (json-pretty-print-buffer works, but...)

[GNU bug Tracking System]

Your message dated Sat, 03 Oct 2015 23:58:11 +0200
with message-id <address@hidden>
and subject line Re: bug#21488: json-pretty-print-buffer works,but...
has caused the debbugs.gnu.org bug report #21488,
regarding json-pretty-print-buffer works,but...
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
21488: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=21488
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: json-pretty-print-buffer works,but... Date: Wed, 16 Sep 2015 00:00:47 +0800

See https://github.com/pashky/restclient.el/issues/97

 

Sent from Mail for Windows 10

--- End Message ---

--- Begin Message --- Subject: Re: bug#21488: json-pretty-print-buffer works,but... Date: Sat, 03 Oct 2015 23:58:11 +0200 On Sat, Oct 3, 2015 at 11:01 PM, Stefan Monnier <address@hidden> wrote:

Looks good, please install, Stefan

Done. Thanks for reviewing!

-- Simen

--- End Message ---