Subject: Re: bug#13425: close this bug?
From: Simen Heggestøyl <[email-masked]>
To: Stefan Monnier <[email-masked]>, [email-masked]
Cc: [email-masked], Tom Tromey <[email-masked]>
Date: Sat, 04 Feb 2017 20:31:11 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Good, I've installed the patch as f6ff7bb1fcd062fe. It should cover
the mentioned test cases.

I'm closing this bug since the current CSS indenter now handles
multiline property values better.

Evgeni, I'm sorry that your report had to sit around for so
long. Thank you for prodding us to improve the indentation engine in
this regard!

-- Simen