bug#44303: 28.0.50; json-pretty-print-buffer creates spurious lock file

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: simenheg@runbox.com,  44303@debbugs.gnu.org
> Date: Mon, 09 Nov 2020 15:03:07 +0100
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > I wonder whether we should actually cherry-pick this to the release
> > branch.
> 
> (You've possibly forgotten to push the change?)
> 
> It's a somewhat obscure bug that'll basically only manifest in
> situations like this, so I'm not sure that it's worth it.  But I haven't
> seen the patch -- if it's totally trivial, then sure.

I think it's totally trivial, yes.  But I'm obviously biased.