Closed zuhdil closed 11 months ago
Summarize what has been changed / what has to be done in order to finalize the PR.
coverage: 67.94%. remained the same when pulling 7fd13e7a2052e906a3ed654f023ed0bcaaf62120 on sphinx-rtd-theme into 9fc8b6467eaec348da39f4977f505745961ca27e on master.
TODO / Done
Summarize what has been changed / what has to be done in order to finalize the PR.