tree 11763e24578a64b6706cdfdc97df5c95ce79ac58
parent 4bfaf1e5f62748b305406ff4ceebd5f4b750038c
author Guang Zhu <guangzhu@google.com> 1358493924 -0800
committer Nick Kralevich <nnk@google.com> 1358537327 -0800

Revert "Filter ANDROID_PROPERTY_WORKSPACE"

Temporarily revert the change since DNS resolution seems
broken right now in ping util.

Bug: 8029617

This reverts commit a0f64756a4a55ab48b2b5511d4e7c45583dac44b.