tree 195a06391b3003054d3dec94fd2dadab0127e5a6
parent e322686fa6c6a1dfde6e89c394c9f1856652bf84
author Robert Nystrom <rnystrom@google.com> 1587596836 -0700
committer Robert Nystrom <rnystrom@google.com> 1587596836 -0700

Apply review feedback.

Switch to an app-JIT snapshot since it's faster and update docs.