tree b0015d7cba4a53a1df18986adb78264bd4d16350
parent 0d1d07c1b0602bcc548d7e7be5173dcf42084a6d
author Elliott Hughes <enh@google.com> 1696890004 +0000
committer Maciej Żenczykowski <maze@google.com> 1696905040 +0000

Use libbase properties for a slight simplification.

Test: treehugger
Change-Id: I78f7fb43665640cd6869bfde217f60f19bf0cfa1