| commit | a5eae4e47333470f65d4133a2a42d87190496b68 | [log] [tgz] |
|---|---|---|
| author | Maciej Żenczykowski <maze@google.com> | Sat Oct 07 20:55:01 2023 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Sat Oct 07 20:55:01 2023 +0000 |
| tree | 8b4bd571617aaabe6fc6c5494807c729eb1448dd | |
| parent | 7b23abd945590982059050d5614c8d60c38b1bad [diff] | |
| parent | 6dec6e9374dd8fe0f43120c384762d6adde35f1c [diff] |
type safety for bool ignore_on_{eng,user,userdebug} am: 6dec6e9374
Original change: https://android-review.googlesource.com/c/platform/packages/modules/Connectivity/+/2775544
Change-Id: Ib26de9c0397c9c9a90d1c4754ecc794fe9ad81c3
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>