tree ad6962c531cbd3c7c8668e6a62ab0daa113d8577
parent 9ff008ba17738af073953c4f3d32c2dcf0976a4a
author David Ostrovsky <david@ostrovsky.org> 1655748157 +0200
committer David Ostrovsky <david@ostrovsky.org> 1655749038 +0200

Avoid wildcard import

Change-Id: I324789212a5db4b97625107241eadb8728a30b83