|
From: | Jonas Bernoulli |
Subject: | bug#42397: [PATCH 00/14] Use outline headings and some cosmetics |
Date: | Sun, 16 Aug 2020 20:43:14 +0200 |
I have pushed the last iteration to master, so this issue can be closed. Thanks! Jonas
[Prev in Thread] | Current Thread | [Next in Thread] |