| commit | f9114d160f40d487803602bc10fdb1e16ddd32d6 | [log] [tgz] |
|---|---|---|
| author | Maciej Żenczykowski <maze@google.com> | Sat Oct 07 21:31:32 2023 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Sat Oct 07 21:31:32 2023 +0000 |
| tree | 2937e28694d29cd4a3aae82312c61b14980d4eb1 | |
| parent | 869de8c2fe7f0e33582d95743587a0a4c8a0a5fd [diff] | |
| parent | a5eae4e47333470f65d4133a2a42d87190496b68 [diff] |
type safety for bool ignore_on_{eng,user,userdebug} am: 6dec6e9374 am: a5eae4e473
Original change: https://android-review.googlesource.com/c/platform/packages/modules/Connectivity/+/2775544
Change-Id: I1c1ceb3cdba2d554e32a73c5323d7f7fcd004b40
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>