Michael Mauderer ba651428aa Revert "Recommend installing a new version of wasm-opt." ... This reverts commit 08f3ad3d0b.		2022-05-13 13:38:29 +01:00
..
gui	Revert "Recommend installing a new version of wasm-opt."	2022-05-13 13:38:29 +01:00
ide-desktop	Revert "Improve profiling for UI interactions. (#3437)" (#3449)	2022-05-13 00:18:57 +02:00