Open jdm opened 8 years ago
Despite the changes in #75 I still had to remove it manually in https://github.com/servo/servo/pull/10225.
Despite the changes in #75 I still had to remove it manually in https://github.com/servo/servo/pull/10225.