Emilio Cobos Álvarez 0bb1806dc2 servo: Merge #20193 - style: Remove more rustc_has_pr45225 stuff (from emilio:needless-stuff-is-needless); r=nox ... Also cleans up references to a fixed issue. Source-Repo: https://github.com/servo/servo Source-Revision: d09ea8476e68ff131d71bc78a2c6c324679b90d5 --HG-- extra : subtree_source : https%3A//hg.mozilla.org/projects/converted-servo-linear extra : subtree_revision : a065c7a872724c2802092c569b93aba720eeac32		2018-03-04 10:41:54 -05:00
..
geckolib	servo: Merge #20193 - style: Remove more rustc_has_pr45225 stuff (from emilio:needless-stuff-is-needless); r=nox	2018-03-04 10:41:54 -05:00
servo	servo: Merge #20175 - #20174 removed the option and unwrap (from andreicristianpetcu:remove_optional_from_default_config_dir); r=jdm	2018-03-02 14:39:37 -05:00