`./mach run --release` was completely broken and always ran the dev profile. Source-Repo: https://github.com/servo/servo Source-Revision: f7725b666773d43b9f743e96b3a5a2ca6abad439
`./mach run --release` was completely broken and always ran the dev profile. Source-Repo: https://github.com/servo/servo Source-Revision: f7725b666773d43b9f743e96b3a5a2ca6abad439