diff -r f2f247a5b6c9 -r c471fed3cab8 doc/images/favicon.png
Binary file doc/images/favicon.png has changed