Merge pull request #18391 from av8ramit/fix_devel_docker_python
authorAmit Patankar <amitpatankar@google.com>
Tue, 10 Apr 2018 20:41:06 +0000 (13:41 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Apr 2018 20:41:06 +0000 (13:41 -0700)
Adding the python symlink command for devel packages too.


Trivial merge