Resize favicon when tabs are too small #7657

Merged
merged 1 commit into from Mar 11, 2017