Subject: Re: bug#42397: [PATCH 00/14] Use outline headings and some cosmetics

From: Stefan Kangas <[email-masked]>
Date: Sun, 16 Aug 2020 12:29:26 -0700

close 42397 28.1
thanks

Jonas Bernoulli <[email-masked]> writes:

> I have pushed the last iteration to master,
> so this issue can be closed.

Thanks.  Closing the bug now.

Best regards,
Stefan Kangas