mozilla/servo — pull request #761 by eschweic (2013-08-22 21:42:49+00:00)
Title: Fix crash on window resize

Fixes #757.