tree e119ef43db1b65b2afae9c88c088adaeaacdbf7e
parent 19b0823fa6bbe6b38a0d3157f08d502475d62021
parent 11e0f16dece2ddcff2964697b3366b399dc3abe8
author Romain Jobredeaux <jobredeaux@google.com> 1676407202 +0000
committer Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com> 1676407202 +0000

Merge "Delete manual jsr305 BUILD file." am: b917540b3d am: 11e0f16dec

Original change: https://android-review.googlesource.com/c/platform/external/jsr305/+/2420223

Change-Id: I88affc38c622608417baa33c2f090707927cab11
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>