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)
commit7ada04369b2dd88c8c24cdb71c0df033edfa47ba
treea2bf1d473b1269a10c2c16dbad57156b83f11588
parentac027cd232f0c901accab5fd8ef171d11b275a76
parent0fd3c5c450a844573f9c417994ae87035119d2b4
Merge pull request #18391 from av8ramit/fix_devel_docker_python

Adding the python symlink command for devel packages too.