mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-02-03 20:49:27 +00:00
e3febb50ba
to dejong@cs.umn.edu for the bug report and suggested fix.