| commit | 4df577fef74063507cba229bce352bbcf89df279 | [log] [tgz] |
|---|---|---|
| author | Guang Zhu <guangzhu@google.com> | Thu Jan 17 23:25:24 2013 -0800 |
| committer | Nick Kralevich <nnk@google.com> | Fri Jan 18 11:28:47 2013 -0800 |
| tree | 11763e24578a64b6706cdfdc97df5c95ce79ac58 | |
| parent | 4bfaf1e5f62748b305406ff4ceebd5f4b750038c [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.