Merge pull request #369 from camelid/ping

Ping me on changes to `clean/types.rs` in rustdoc

Author: Mark-Simulacrum

highfive/configs/rust-lang/rust.json

@@ -131,6 +131,10 @@
           "message": "rustdoc-json-types is a **public** (although nightly-only) API. Consider changing `src/librustdoc/json/conversions.rs` instead; otherwise, make sure you update `format_version`.",
           "reviewers": ["@CraftSpider", "@aDotInTheVoid"]
         },
+        "src/librustdoc/clean/types.rs": {
+            "message": "Some changes occurred in `clean/types.rs`.",
+            "reviewers": ["@camelid"]
+        },
         "src/librustdoc/html/static": {
             "message": "Some changes occurred in HTML/CSS/JS.",
             "reviewers": ["@GuillaumeGomez"]