devtools

75f58dbd - Prevent web apps from freezing after hot-restarts triggered from DevTools (#9125)