Anne van Kesteren

Bugzilla updates

I was slightly involved into the following bugs (the title shows the details):

Bugzilla Bug 212137, which I reported myself (wow) is fixed. Bug 212149 is fixed too. Bug 212145 was thought to be fixed, but is now reopened by me, because it doesn't apply all CSS rules yet. Bug 15608 is still unsolved.