merge from open-source master

Merge commit 'goog/stage-korg-master' into HEAD
tree: a5d3ea486b907c77abd820d7df12fb224ed0a417
  1. src/