| commit | dadf98a50effe85ab3d3a829e8a4d097b8add528 | [log] [tgz] |
|---|---|---|
| author | Maciej Żenczykowski <maze@google.com> | Sat Oct 07 20:53:01 2023 +0000 |
| committer | Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> | Sat Oct 07 20:53:01 2023 +0000 |
| tree | 3c4f9795e0c5e3eb7fc4fbe8e966b71bef97a7d7 | |
| parent | e1ff3706666614dbd3a18cf572086f0a0cf22631 [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: I085db833bc4b59ec0730f0010edb1e7c894b2f9f
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>