This repository was archived by the owner on Mar 25, 2018. It is now read-only.

Merge r7949 into 3.2 branch. This fixes stacks erasure bug in DevTool…