devtools

b36dac69 - Use --no-minify-wasm when creating devtools for releases. (#9284)