devtools

29a7a1fe - Prevent web apps from freezing after hot-restarts triggered from DevTools (#9125)