diff -r 4841b443f1fd -r f65edc0382cc doc/images/favicon.png
Binary file doc/images/favicon.png has changed