Use new server version for devtools (#814)
Use new server version for devtools (#814)


flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools,flutter/devtools