mozilla/servo — pull request #732 by eschweic (2013-08-15 18:29:29+00:00)
Title: Remove tile edge artifacts

Gets rid of that annoying grit that appears between tiles after zooming.