On Wed, Jun 18, 2014 at 11:54:28PM +0900, Mike Hommey wrote: > That's bug 751569. Aha, thanks! http://mozilla.debian.net/ says to report bugs via the mailing-list, not via the Debian bugtracker, so I didn't think to look there. I'll just disable webgl for a while, then.