Committed Markus's patch to fix bug 218076: [hovering] NPE in BrowserInformationControl
1 file changed