Load favicon from a favicon.png file if it exists #7

Merged
jonny merged 1 commit from make_favicon_configurable into develop 2024-08-25 14:10:39 +02:00