commit | bf1d22559376aa5c3fff5c278a90fd0832ec6207 | [log] [tgz] |
---|---|---|
author | Guang Zhu <guangzhu@google.com> | Thu Jan 17 23:25:24 2013 -0800 |
committer | Guang Zhu <guangzhu@google.com> | Thu Jan 17 23:25:24 2013 -0800 |
tree | f49bc03b22ed18451fe95a2f1f6fed060b6fb555 | |
parent | c5c99adeedaab9ad1330203476d4f0f15d65d25a [diff] |
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.