@sgiehl opened this Pull Request on August 15th 2018 Member

The inclusion of the logo was handled in many templates. This PR aims to move that to one file only, so it looks the same everywhere...

fixes #13287

This Pull Request was closed on August 17th 2018
Powered by GitHub Issue Mirror