[pull] master from google:master#886

pull[bot] merged 2 commits intoMu-L:masterMu-L/gvisor:masterfrom

google:mastergoogle/gvisor:masterCopy head branch name to clipboard