tree 0878f1581beed3df9fa71c5438ccdd056d9f268d
parent 255de9334196de8dc1291017fc3fdd357b2cbd44
parent 9a444d0499fd8af85916c5474d1eb6239d08746c
author Treehugger Robot <treehugger-gerrit@google.com> 1669370917 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1669370917 +0000

Merge "[cleanup] Remove attribute service_manager_type in microdroid"